Manual:ProtectedPagesPager.php