Delete unused variable
authorJakub Vrana <jakub@vrana.cz>
Sun, 2 Dec 2018 18:26:51 +0000 (19:26 +0100)
committerAddshore <addshorewiki@gmail.com>
Mon, 3 Dec 2018 16:43:43 +0000 (16:43 +0000)
commit99fdade462c411e21b8b7dfd41c2edc022fba1fa
tree1f9fed18d57dc79e78e72ab9dca2c9ed7c957576
parent588fd16903c9be76dcffa8c703024572acbce9a8
Delete unused variable

Found by PHPStan.

Change-Id: If985b06fcc9e37b8747da69d1aac63a5ee944aef
includes/specials/pagers/NewPagesPager.php