Re: [Wikitech-l] Getting the value of a variable defined in LocalSettings.php