Searched refs:helper_plugin_redirect (Results 1 – 4 of 4) sorted by relevance
48 /** @var helper_plugin_redirect $hlp */
19 /** @var helper_plugin_redirect */
17 class helper_plugin_redirect extends DokuWiki_Admin_Plugin { class
26 $redirHelper = new helper_plugin_redirect();