Add missing documentation to ProtectedTitlesPager
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Tue, 12 Feb 2019 11:57:05 +0000 (12:57 +0100)
committerThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Tue, 12 Feb 2019 11:58:43 +0000 (12:58 +0100)
commita1bb593efb954225f3db5dca6c5879b41a9e344d
treece09d86f2307b9eb7c9b508bc8c84dc8d2dfbdbd
parentf51c9e889f24091d3e20488530c1f80900059868
Add missing documentation to ProtectedTitlesPager

This was discussed in I2b5c95d. The reason no IDE was able to find this
usage of the deprecated SpecialPage::getTitle method was the missing
type hinting.

TODO:
* A lot of properties this class uses are not declared.
* A lot of stuff in here must be private, but is public at the moment.
But this is for later patches.

Change-Id: I12fd6e517e5bd3507032ee3aafcb1de96733985b
includes/specials/pagers/ProtectedTitlesPager.php