Extension:PageSecurity/SpecialSearch.php