Searched refs:helper_plugin_extension_gui (Results 1 – 3 of 3) sorted by relevance
18 /** @var helper_plugin_extension_gui */
16 class helper_plugin_extension_gui extends Plugin14 class helper_plugin_extension_gui extends DokuWiki_Plugin global() class
17 /** @var helper_plugin_extension_gui */