Searched refs:helper_plugin_redirect (Results 1 – 3 of 3) sorted by last modified time
19 /** @var helper_plugin_redirect */
17 class helper_plugin_redirect extends DokuWiki_Admin_Plugin { class
48 /** @var helper_plugin_redirect $hlp */