Manual:ProtectAction.php/de-formal

Details
ProtectAction.php file handles with protecting pages.