* Removing the second check for MEDIAWIKI, already checked at this point
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Fri, 24 Jun 2005 06:08:53 +0000 (06:08 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Fri, 24 Jun 2005 06:08:53 +0000 (06:08 +0000)
commite980f2a801f7a01db66a952316fea6f9a6f742a6
treed1b022d7e47f87e1c0a4a9273f43f0c2da57045f
parent492b4c9cfbd150a55ffce2c1e260d34b2b22072b
* Removing the second check for MEDIAWIKI, already checked at this point
includes/Namespace.php