Translations:MediaWiki 1.31/178/en

now works on PHP 7.1+