On Apr 23, 2004, at 06:38, Ashar Voultoiz wrote:
A problem I noticed, is that lot of mediawiki namespaces are using "/wiki/" or "Wikipedia". What are the best variables to replace that ? I am thinking about $wgScriptPath & {{ns:4}}, are they valid choices ?
Use [[ ]]. Messages potentially containing links and formatting should be run through the wiki formatter, not raw HTML, since they are now user-editable.
{{SITENAME}} and {{NS:4}} should be used, iirc, in place of 'Wikipedia'. (Some of the files have had $wgSitename and $wgMetaNamespace, but this information gets lost in the MediaWiki: namespace because the substitution happens at script load time, and the substituted version is imported.)
Also there's other hardcoded Wikipedia text in there, such as the google search, that we shouldn't see in general files.
-- brion vibber (brion @ pobox.com)