Php 如何列出MediaWiki中的所有用户？

我编写了一个MediaWiki扩展。我需要得到所有注册用户的列表。在大多数媒体中，维基并不真正理解什么是，也不知道腿长在哪里

对于当前登录的用户，我使用以下代码：

global $wgUser;
$userId = $wgUser->getId();
$userName = $wgUser->getName();

但我还无法找到如何获取所有用户及其ID的列表，以备将来使用

您必须在数据库中找到。类似这样的内容（请查看下面链接的手册以了解详细信息）：

进一步阅读：

$dbr = wfGetDB( DB_SLAVE );
$id_list = $dbr->select( 'user', 'user_id' );
foreach( $id_list as $user_data ) {
    ...
}