Please note that aawiki is closed since some years already and it's been used for all sorts of testing.

I know that group name has been added to users by DisableAccount, which historically didn't log anything. But it doesn't look like these users were disabled by DisableAccount.

Yes, it can be added two ways: using UserRights or using DisableAccount (which didn't left any trace in the rights log). I've not checked, but it doesn't look like aawiki does use DisableAccount so I'm not sure where those 'inactive' flags came from.

In T150538#2789163, @MarcoAurelio wrote:

UserRights

Which should've always logged

In T150538#2789163, @MarcoAurelio wrote:

or using DisableAccount

Which probably never logged while this wiki was in use.

In T150538#2789163, @MarcoAurelio wrote:

it doesn't look like aawiki does use DisableAccount

Ever? Or just now?

Even if DisableAccount was enabled, I don't think it was used on these.

I'm not sure if DisableAccount was ever used in that wiki, I guess one could browse the history InitialiseSettings.php and see if it was ever enabled there. I think the easy solution would be to query the data of those accounts and see if the password and email fields are empty (which is what DisableAccount was suposed to do, right?) and if they're empty, then yes, we can assume they were disabled.

In T150538#2789886, @MarcoAurelio wrote:

I think the easy solution would be to query the data of those accounts and see if the password and email fields are empty (which is what DisableAccount was suposed to do, right?) and if they're empty, then yes, we can assume they were disabled.

I did that, I don't think they've been disabled.

Mentioned in SAL (#wikimedia-operations) [2019-09-17T11:13:50Z] <Urbanecm> Run mwscript emptyUserGroup.php --wiki=aawiki 'inactive' (T150538)