PHP7 EOL и будет удалён, просьба собрать пакет с php8
mediawiki-extensions-Collection-1.40-alt1.d3c0c1b -> sisyphus: Sat Aug 12 2023 Vitaly Lipatov <lav@altlinux.ru> 1.40-alt1.d3c0c1b - new version (1.40) with rpmgs script - switch to php8.1 (ALT bug 46922)