*/ class admin_plugin_shell extends \dokuwiki\Extension\AdminPlugin { /** @inheritDoc */ public function html() { echo '

' . $this->getLang('menu') . '

'; $cwd = hsc(realpath(DOKU_INC)); $backend = DOKU_BASE . 'lib/plugins/shell/shell.php'; echo '

'; printf('',$cwd, $backend); echo '

'; echo ''; echo '
'; echo $this->locale_xhtml('help'); } }