Remove unused use in anonymous function
authorJakub Vrana <jakub@vrana.cz>
Sat, 1 Dec 2018 09:16:46 +0000 (10:16 +0100)
committerJakub Vrana <jakub@vrana.cz>
Sat, 1 Dec 2018 09:16:46 +0000 (10:16 +0100)
commit703ed6f9cdc1339b8a57e248bfdf9145016653d5
tree071962bc37975d2c3d6421306485b4478abe1d5b
parentd691704de2ff3e4871e4ed37438354940cff0708
Remove unused use in anonymous function

Found by PHPStan.

Change-Id: I50d27a50806048697dcac8e24712a10a6c7e7c16
includes/specialpage/AuthManagerSpecialPage.php