Not really an enhancement: these users were supposed to have been removed but weren't.

Just needs a couple of simple database queries to be run.

delete from user_groups where ug_group = 'autopatrolled'; commit;

mysql:wikiadmin@db1058 [wikidatawiki]> delete from user_groups where ug_group = 'autopatrolled'; commit;
Query OK, 1855 rows affected (0.02 sec)

Query OK, 0 rows affected (0.00 sec)

mysql:wikiadmin@db1038 [testwikidatawiki]> delete from user_groups where ug_group = 'autopatrolled'; commit;
Query OK, 7 rows affected (0.00 sec)

Query OK, 0 rows affected (0.00 sec)

mysql:wikiadmin@db1038 [testwikidatawiki]>

It seems like something was forgotten as the 'autopatrolled' group still shows up in for example https://www.wikidata.org/w/index.php?title=Special%3AListUsers&username=1971markus&group=&limit=1.

Cached user objects

mysql:wikiadmin@db1058 [wikidatawiki]> select * from user_groups where ug_group = 'autopatrolled';
Empty set (0.01 sec)

mysql:wikiadmin@db1058 [wikidatawiki]> select user_id from user where user_name = '1971markus';
+---------+

+---------+

+---------+
1 row in set (0.00 sec)

mysql:wikiadmin@db1058 [wikidatawiki]> select * from user_groups where ug_user = 94516;
Empty set (0.00 sec)

mysql:wikiadmin@db1058 [wikidatawiki]>

Then:

reedy@tin:~$ mwscript eval.php wikidatawiki

$user = User::newFromName('1971markus');

$user->invalidateCache();

Now
1971markus (talk | contribs | block) (Created on 21 January 2013 at 17:19)

It will clear itself up in a while as user objects expire and/or updated