Searched refs:admin_plugin_adminperm (Results 1 – 2 of 2) sorted by relevance
44 /** @var admin_plugin_adminperm $plugin */82 /** @var admin_plugin_adminperm $plugin */
10 class admin_plugin_adminperm extends DokuWiki_Admin_Plugin class