Re: [MediaWiki-l] Next Mediawiki upgrade given CentOS 7 with PHP 7.1.30?