Remove unused global in ForeignAPIRepo
authorumherirrender <umherirrender_de.wp@web.de>
Mon, 18 Nov 2013 20:49:28 +0000 (21:49 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Mon, 18 Nov 2013 20:49:28 +0000 (21:49 +0100)
commitf658180f56c150490361f48846e44b90bf609472
tree412f11b57586c2fa9a4fa787cda654b02283a769
parent49715d68ba271a502c8f894f1c310ceae36b36fb
Remove unused global in ForeignAPIRepo

Follow-Up: I6849107a3af773687a31155b23a2d7b4d7a60645
Change-Id: I45d405a4dca9b7928f740fcd231e95c599310689
includes/filerepo/ForeignAPIRepo.php