

RSC, 27-may-14:
NOTE: The LocalSettings.php file here is only a backup.
The real file (i.e. the file is is actually used) is
/srv/www/vhosts/infoserver/wikis/mediawiki-1.22.4/LocalSettings.php
