Manual:BlockUsers.php/de-formal

Details
blockUsers.php file is a maintenance script to block or unblock a batch of users.

By default, all users are hard blocked, auto blocked from any current and subsequent IP addresses, email disabled, unable to write to their user page and unable to create further accounts with no expiry to this block. You can change these configuration through options.

Usage
(This will block the users contained in the text file "userlist.txt")