julien lepiller <julien@lepiller.eu> writes:

> Hi,
>
> php 7.1.5 has just been annonced. Here is a patch to update.

Thanks! Make sure to mention the change to [arguments] in the commit
message.