Comment # 7 on bug 1018198 from Petr Gajdos

Christian, your patch was upstreamed with php 7.1.2, thank you.

According the the comment 5 it seems to me that there is no issue in php.
Please reopen with the explanation what should be fixed on php side.