Update to MediaWiki 1.35.0
Created by: lahwaacz
First two commits just update MediaWiki and the extensions to 1.35.0. For reference, this is what I did for these commits:
git clone git@github.com:lahwaacz/archlinux-mediawiki.git --branch master archwiki
git clone https://gerrit.wikimedia.org/r/mediawiki/core.git --branch REL1_35 --depth=1 --recurse-submodules --shallow-submodules mediawiki
rsync -rlptD --exclude={"/.git*",.gitignore,/.travis.yml} --delete mediawiki/ archwiki/
cd archwiki
git checkout -- favicon.ico LocalSettings.archlinux.org.php docker extensions/{ArchLinux,FluxBBAuth}
git checkout -- extensions/{AbuseFilter,BounceHandler,CheckUser,Lockdown,TitleKey,UserMerge}
git add -A
git commit -m "Update to MediaWiki 1.35.0"
git submodule init
git submodule update
for path in extensions/{AbuseFilter,BounceHandler,CheckUser,Lockdown,TitleKey,UserMerge}; do
git submodule set-branch --branch REL1_35 $path
done
git submodule update --remote
git add -A
git commit -m "Update extensions to 1.35.0"
Next follow commits which update the configuration and the ArchLinux extension/skin for the new version. There is an ugly hack to make the Arch navbar appear, because the previous way does not work anymore - see the commit message for details. Maybe @pierres could follow up on this if he can figure out how to fix the extension "properly"?
Also cc @grazzolini, @jelly
P.S.: Before deploying this, we should merge this PR to infrastructure, otherwise the skin would be completely broken for users until the old assets expire in the cache.