Fix r80666: botched variable rename
authorRoan Kattouw <catrope@users.mediawiki.org>
Fri, 21 Jan 2011 17:23:24 +0000 (17:23 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Fri, 21 Jan 2011 17:23:24 +0000 (17:23 +0000)
commit082620d2f446def0a3c07d661a3852bb107fd23b
tree8c01465938a82116cd1d8d551e3ffa1691c1ce8e
parent44dd1794a1cf89f2c12b11024605120bf67c090a
Fix r80666: botched variable rename
includes/libs/JavaScriptDistiller.php