Extension:MirrorTools/User table

ApiMirrorCreateUser creates and  entries. There are also user renaming events. This is no big deal for those that are mirrored.

It becomes an issue, though, when users on the local wiki begin creating new user accounts. Then there can be username collisions. This includes when an account is created that already exists on Wikipedia, and when a user account is renamed on Wikipedia to the same name as an account that exists on the local wiki.