* Removed a redundant variable by the name of 'redundant' from this redundancy
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Tue, 21 Jun 2005 01:31:16 +0000 (01:31 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Tue, 21 Jun 2005 01:31:16 +0000 (01:31 +0000)
commit130fa2630764161627a9aaa4fd5b6872db124c1a
treefe03156678734745e345a272357e548873d1622b
parentd19cc4ed91b053b6ec4db95fd7c1e69e15911137
* Removed a redundant variable by the name of 'redundant' from this redundancy
  checking script.
maintenance/redundanttrans.php