Delete unused variable
authorJakub Vrana <jakub@vrana.cz>
Sun, 2 Dec 2018 18:21:44 +0000 (19:21 +0100)
committerJakub Vrana <jakub@vrana.cz>
Sun, 2 Dec 2018 18:21:44 +0000 (19:21 +0100)
commit7f67fa7fc7ab71f667a6712498a975c651ce7b88
tree2f5c79a634b087927f58f839f2c8cd454b09a2f6
parent588fd16903c9be76dcffa8c703024572acbce9a8
Delete unused variable

Found by PHPStan.

Change-Id: I416069e4199e1cd3cf7a98a32cc1cb09c1525093
includes/specials/SpecialExport.php