Remove unused use in anonymous function
authorJakub Vrana <jakub@vrana.cz>
Sat, 1 Dec 2018 09:13:38 +0000 (10:13 +0100)
committerJakub Vrana <jakub@vrana.cz>
Sat, 1 Dec 2018 09:13:38 +0000 (10:13 +0100)
commitf11471e8e0a32ecbb44e6835b7982b60b1cb8543
treecad6a63f49ce1b38931a66c888acebd0f74b5047
parentd691704de2ff3e4871e4ed37438354940cff0708
Remove unused use in anonymous function

Found by PHPStan.

Change-Id: Id2dd9996fd4d78da930ee0cc802bb07b66a5f084
includes/Revision/RevisionStore.php