Use PHP 7.2 for mediawiki everywhere