Manual:ProtectedTitlesPager.php