[Wikitech-l] patch for wikiSettings.php