Manual:InvalidateBotPasswords.php/de-formal

Details
invalidateBotPasswords.php file is a maintenance script to invalidates the bot passwords of a given user.

Options/Arguments
Although both option are optional but one of them is required.