Robuta

https://doc.wikimedia.org/Translate/master/php/classMediaWiki_1_1Extension_1_1Translate_1_1SystemUsers_1_1TranslateUserManager.html Translate extension for MediaWiki: MediaWiki\Extension\Translate\SystemUsers\TranslateUserManager... translate extension mediawiki https://doc.wikimedia.org/Translate/master/php/TranslateUserManager_8php_source.html Translate extension for MediaWiki: src/SystemUsers/TranslateUserManager.php Source File translate extension mediawiki src php