View source for 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>