User talk:Catcherinthesty

To update mediawiki, run the following commands from CLI:

<syntaxhighlight> VERSION=1.25.3 # Set this to the version desired MAJVER=1.25 # Set this to the major version variant. cd ~/public_html wget releases.wikimedia.org/mediawiki/$MAJVER/mediawiki-$VERSION.tar.gz tar -xvzf mediawiki-$VERSION.tar.gz rm mediawiki-$VERSION.tar.gz -f cd mediawiki-$VERSION rsync ../w/extensions ./ -avh rsync ../w/images ./ -avh rsync ../w/ttgg* ./ -avh rsync ../w/skins/ ./skins/ -avh rsync ../w/LocalSettings.php ./ cd .. mv w x mv mediawiki-$VERSION w php w/maintenance/update.php --quick </syntaxhighlight>