I write a MediaWiki extension. I need to get a list of all registered users. In most MediaWiki does not really understand what is and find where the legs grow.
For current logged user i use code:
global $wgUser;
$userId = $wgUser->getId();
$userName = $wgUser->getName();
But I can not yet find how to get a list of all users and their IDs for future use