Hi,

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