Skip to content
GitLab

Switch the archwiki to PHP 7

Merged Jelle van der Waa requested to merge wiki_php7 into master

As mediawiki does not support PHP 8 yet in the current LTS release, we have to stay with PHP 7.