PINstudio
http://wiki.pinstudio.ru/
2026-05-07T10:52:03+03:00
PINstudio
http://wiki.pinstudio.ru/
http://wiki.pinstudio.ru/lib/exe/fetch.php?media=wiki:favicon.ico
-
text/html
2017-04-24T17:09:36+03:00
start
http://wiki.pinstudio.ru/doku.php?id=start&rev=1493042976&do=diff
class admin_plugin_yourplugin extends DokuWiki_Admin_Plugin {
private $explorer_helper = null;
private $explorer_registered = false;
function get_explorer(){
if (!$this->explorer_helper){
$this->explorer_helper = plugin_load('helper','explorertree');
}
return $this->explorer_helper;
}
function init_explorertree(){
if (!($e = $this->get_explorer())) return;
if (!$this->explorer_registered){
$e->registerRoute('yourroutingname',array(
'init_plugin' => array( // this is …