Upgrades - 2018-09-13
We upgraded this wiki to version 1.31 and the server machine to Ubuntu 18 LTS
The upgraded wiki seems to work fine including its most important extensions. Some minor extensions do not work and have been disabled and there may be glitches that we will ironed out over time. For example this wikilog extension doesn't work completely. In order to publish an article one has to manually insert a template...
My Mediawiki installation notes have been updated a bit. Sorry, I don't have time for a more professional documentation. Also of some interest: VisualEditor and Mediawiki collection extension installation. Both do seem to work, globally speaking.