Updating Mediawiki Installation
Good Links
Most of what is presented here is synthesized from:
Backup the Database
On bombur, go to /home/geos/WikiBackup and, per the README, run:
$ mysqldump --opt --user=geos --password=<password> --host=mysql.geos5.org geos5_wiki > geos5_wiki.2017Jul26.backup.sql $ mysqldump --opt --user=geos --password=<password> --host=mysql.geos5.org geos5_wiki --xml > geos5_wiki.2017Jul26.backup.xml
where the date is changed, of course.
Then, gzip them for space saving.
Get and Extract Mediawiki
A la the Mediawiki manual:
$ cd /home/geos/geos5.org $ wget https://releases.wikimedia.org/mediawiki/1.29/mediawiki-1.29.0.tar.gz $ tar -xvzf mediawiki-1.29.0.tar.gz $ rm mediawiki-1.29.0.tar.gz
Now we will work in the mediawiki-1.29.0/ directory until we are ready to swap it for wiki/.
Copy Over Needed Files
$ cd mediawiki-1.29.0
LocalSettings.php
$ cp ../wiki/LocalSettings.php .
images/
$ cp -rp ../wiki/images/* images/
skins/
For this, first do a diff, if the skins directories have the same folders, just accept the new ones. Mediawiki often fiddles with skin handling and you need to use 1.29 skins for 1.29. Luckily, GEOS-5 has little to no skin adaptation.
extensions/
Mainly, you want to copy over any directories that are in the old install but not in the new install. Anything in both, assume the newer is better.
SyntaxHighlight_GeSHi
This one is a bit tricky. There is currently a bug in extensions/SyntaxHighlight_GeSHi/SyntaxHighlight_GeSHi.class.php that we need to fix. It's essentially undoing a workaround they say fixes a bug...but the workaround causes a bug for us!
Once you are done with the upgrade, look at, say, Recipe: python program reads cubed-sphere data and make sure the highlighting is there!