Home
last modified time | relevance | path

Searched refs:helper_plugin_extension_gui (Results 1 – 3 of 3) sorted by relevance

/dokuwiki/lib/plugins/extension/
H A Dadmin.php18 /** @var helper_plugin_extension_gui */
/dokuwiki/lib/plugins/extension/helper/
H A Dgui.php16 class helper_plugin_extension_gui extends Plugin
14 class helper_plugin_extension_gui extends DokuWiki_Plugin global() class
H A Dlist.php17 /** @var helper_plugin_extension_gui */