[mediawiki] modifiche su LocalSettings.php non vengono attuate

Ho inserito:

$wgNavigationLinks = array (
array( 'text'=>'mainpage', 'href'=>'mainpage' ),
array( 'text'=>'portal', 'href'=>'portal-url' ),
array( 'text'=>'currentevents', 'href'=>'currentevents-url' ),
array( 'text'=>'recentchanges', 'href'=>'recentchanges-url' ),
array( 'text'=>'randompage', 'href'=>'randompage-url' ),
array( 'text'=>'help', 'href'=>'helppage' ),
array( 'text'=>'sitesupport', 'href'=>'sitesupport-url' ),
array( 'text'=>'varohome', 'href'=>'varohome-url' )
);

include("extensions/Paypal.php");

#Entirely disable Anonymous Edits in Wiki versions 1.4 and before
$wgWhitelistEdit = true;

sul file di configurazione di mediawiki ma l'unica modifica che ha avuto effetto è include("extensions/Paypal.php"); per le altre non è cambiato niente. Qualche altro usatore di mediawiki ha avuto il mio problema?
Ciao
Varogami

FunCool: Sposto in Livello 4. Se ho spostato anche l'altra discussione ci sarà un motivo!