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.
As mediawiki does not support PHP 8 yet in the current LTS release, we have to stay with PHP 7.
mentioned in merge request !366 (merged)
·