Extension:PageSecurity/SpecialSearch.php

Patched file includes/SpecialSearch.php for MediaWiki version 1.9.3. See patch instructions.