Searched refs:helper_plugin_top (Results 1 – 4 of 4) sorted by relevance
44 /** @var helper_plugin_top $hlp */74 /** @var helper_plugin_top $hlp */
78 /** @var helper_plugin_top $hlp */
9 class helper_plugin_top extends DokuWiki_Plugin { class
17 $top_helper = new helper_plugin_top();