|Resolved||• bd808||T60788 Toolserver migration to Tools (tracking)|
|Resolved||None||T60865 [Epic] Toolserver.org tools that have not been migrated|
|Declined||None||T63028 Migrate http://toolserver.org/~purodha/sample/dbswithuser.php to Tool Labs|
In that case, please file an RFE at https://github.com/Pathoschild/Wikimedia-contrib/issues or in MediaWiki-extensions-CentralAuth.
Curious: What do you use user_id for a) manually and b) on the web? I would assume that user_id is most useful for database queries, and there you can probably get the list directly from the database, and on the other hand AFAIUI the API (always?) allows to select on user as well, so there is no need to use userid there.