Remove dead var
authorjeroendedauw <jeroendedauw@gmail.com>
Tue, 19 Nov 2013 17:04:56 +0000 (18:04 +0100)
committerjeroendedauw <jeroendedauw@gmail.com>
Tue, 19 Nov 2013 17:04:56 +0000 (18:04 +0100)
commit50bcba45071828ac02781436a5788fa40858bd22
tree56d1f5131c28967b1f1481b5db1106f8e677d272
parent83beb3e5631957695a243f8abdc10ab4d03b035b
Remove dead var

Change-Id: I8063140d1e5ada1487ec1509a244dd410896bbab
includes/SpecialPage.php