Searched refs:helper_plugin_starred (Results 1 – 3 of 3) sorted by last modified time
14 /** @var helper_plugin_starred */
12 class helper_plugin_starred extends DokuWiki_Plugin class
57 /** @var helper_plugin_starred $hlp */