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.

Merge request reports

Loading