Searched refs:admin_plugin_usermanager (Results 1 – 2 of 2) sorted by path
412 /** @var admin_plugin_usermanager $usermanager */430 /** @var admin_plugin_usermanager $usermanager */530 /** @var admin_plugin_usermanager $usermanager */545 /** @var admin_plugin_usermanager $usermanager */
23 class admin_plugin_usermanager extends AdminPlugin18 class admin_plugin_usermanager extends DokuWiki_Admin_Plugin global() class