Page MenuHomeSoftware Heritage

Update mediawiki to current Debian version
Closed, MigratedEdits Locked

Description

Mediawiki is now back in Debian, we should update our deployed version to it.

Event Timeline

zack renamed this task from Update mediawiki to an upstream tarball to Update mediawiki to current Debian version.Oct 8 2017, 8:37 PM
zack updated the task description. (Show Details)
zack added a subscriber: zack.

updated description to reflect the fact that mediawiki is now back into Debian proper, including stable (!)

olasd changed the task status from Open to Work in Progress.Oct 16 2017, 1:04 PM
olasd claimed this task.

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.

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.