[arch-devops] MediaWiki now with PHP 8 support