MediaWiki/LocalSettings.php: Unterschied zwischen den Versionen