LocalSettings snippets

By adding the following code to index.php the LocalSettings.php article is executed after processing the usual LocalSettings.php file. Some of the articles in this category are code snippets which can be pasted into the LocalSettings.php article and can extend the MediaWiki functionality. These are far simpler to install and maintain than proper extensions.