Manual:Protect.php/de-formal

Details
protect.php file is a maintenance script that handles protecting and unprotecting a page.

Options/Arguments
This script takes the title of the page as the first argument.

This script accepts these options:

Protecting a page as username "Foo"
If you don't pass the --user option to the script, it will perform the action with user User:Maintenance script.