$wgOldUsersAreRenamed