Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Arch Linux
infrastructure
Merge requests
!308
Switch the archwiki to PHP 7
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Jelle van der Waa
requested to merge
wiki_php7
into
master
Feb 19, 2021
Overview
0
Commits
1
Pipelines
4
Changes
7
As mediawiki does not support PHP 8 yet in the current LTS release, we have to stay with PHP 7.