* Using getFormattedNamespaces() instead of getNamespaces() for faster
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Tue, 3 May 2005 13:17:54 +0000 (13:17 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Tue, 3 May 2005 13:17:54 +0000 (13:17 +0000)
commit2147c99d93f8a469047cfae9448e7223771d27fe
tree33a2b6914834453ec036d73afb39bf21165db6ea
parent5875bbc7da4e4774d0672a8cb7418257781317ad
* Using getFormattedNamespaces() instead of getNamespaces() for faster
  development (oh noes)
* Misc clenup
includes/SpecialAllpages.php