Rename php/page_protection.php to PHP/page_protection.php