Searched refs:admin_plugin_move_tree (Results 1 – 2 of 2) sorted by relevance
44 /** @var admin_plugin_move_tree $plugin */49 $type = admin_plugin_move_tree::TYPE_MEDIA;51 $type = admin_plugin_move_tree::TYPE_PAGES;
3 class admin_plugin_move_tree extends DokuWiki_Admin_Plugin { class