Merge branch 'wiki_php7' into 'master'

Switch the archwiki to PHP 7

See merge request !308
2 jobs for master in 50 seconds (queued for 3 seconds)