Mediawiki is now back in Debian, we should update our deployed version to it.
Description
Description
Related Objects
Related Objects
- Mentioned In
- T761: upgrade all machines to Debian Stretch
Event Timeline
Comment Actions
updated description to reflect the fact that mediawiki is now back into Debian proper, including stable (!)
Comment Actions
Upgraded to the debian package.
Ran the upgrade script for both databases:
cd /var/lib/mediawiki/maintenance SERVER_NAME=wiki.softwareheritage.org php5 update.php SERVER_NAME=intranet.softwareheritage.org php5 update.php
Added loading the skins to the localsettings.php
Still need to check the updated config.
Comment Actions
Checked the config, notably the plugins, to ensure that functionality was still correct. Debian doesn't provide packaged extra extensions anymore, but the ones we were using have been merged to core.