Switch the archwiki to PHP 7

As mediawiki does not support PHP 8 yet in the current LTS release, we
have to stay with PHP 7.
2 jobs for wiki_php7 in 38 seconds (queued for 2 seconds)