Fixed not compatible with PHP 7.1

Fixes issue introduced in #f54d59a on PHP 7.1

[ci skip]
This tag has no release notes.