pagers: Remove unused "form" properties from two pagers
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Tue, 19 Feb 2019 14:31:45 +0000 (15:31 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Tue, 19 Feb 2019 20:31:01 +0000 (20:31 +0000)
commit34abcda0c1c73fdd234ada7484c47990285aad56
tree72174e40f1210e4c394820f9fc8ef1b637cc499b
parent000e00cf919805fbac87e7295e66bb1029ef35d3
pagers: Remove unused "form" properties from two pagers

I used
https://codesearch.wmflabs.org/search/?q=BlockListPager
https://codesearch.wmflabs.org/search/?q=ProtectedPagesPager
to make sure no subclass of these two classes exist, as well as no
other code that uses them in the first place.

I would like to argue that this does not need a deprecation phase.

Change-Id: If66f2378bc88adb5e8a6df5e637714be135dfafd
includes/specials/pagers/BlockListPager.php
includes/specials/pagers/ProtectedPagesPager.php