Php7.2 is faster then php7.1 and php7.0.
php7.2 needs to be tested with mw on test1 before deploying it to mw*.
See benchmark https://www.phoronix.com/scan.php?page=news_item&px=PHP-7.2-Final-Benchmark
Php7.2 is faster then php7.1 and php7.0.
php7.2 needs to be tested with mw on test1 before deploying it to mw*.
See benchmark https://www.phoronix.com/scan.php?page=news_item&px=PHP-7.2-Final-Benchmark
Installed this on test1. Just need to try it out with REL1_30 and then will be able to roll out otherwise will have to wait for mediawiki 1.31 which is the first release to support php 7.2
Please use Special:ManageWiki on your wiki to change these settings.
This is an automatic edit, if there is a false positive, please reopen the task.