Translations:MediaWiki 1.31/132/en

now works on PHP 7.1+