Manual:Protect.php

Details
protect.php file is a maint-script>Special:MyLanguage/Manual:Maintenance scripts|maintenance script that handles protecting and unprotecting a page.