MediaWiki/LocalSettings.php: differenze tra le versioni