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