Use $wgUseNormalUser only in commandLine.inc (and use getDbType() instead in Maintenance)
[lhc/web/wiklou.git] / opensearch_desc.php5
2008-02-04 Victor Vasiliev* Use $wgScriptExtension for opensearch_desc.php