Add ability to search by user id to the MediaWiki API
Currently, you can use the API to search for a list of users using usernames (the ususers propery). However, there is no way to search using their user ids instead.
Your task is to implement such a parameter and make it work.
Current API info is at https://www.mediawiki.org/wiki/API:Users