In case you need to remove users from a Mediawiki installation, it is good to know that Mediawiki do not recommend to do that. They do not recommend to remove from database tables, neither. So, the better solution seems to be installing a Mediawiki extension named User Merge and Delete Extension.
