我想从 Mediawiki 中删除多个从未对页面做出过贡献的用户。
我们是否有任何扩展,或者我们是否必须使用 SQL 查询并将它们从数据库中删除?
我尝试过搜索扩展,但找不到,而且我不想直接在数据库中进行更改
要删除从未贡献过的用户,请运行
php maintenance/removeUnusedAccounts.php --delete