1<?php
2/**
3 * DokuWiki Plugin shell (Admin Component)
4 *
5 * @license GPL 2 http://www.gnu.org/licenses/gpl-2.0.html
6 * @author  Andreas Gohr <andi@splitbrain.org>
7 */
8class admin_plugin_shell extends \dokuwiki\Extension\AdminPlugin
9{
10
11    /** @inheritDoc */
12    public function html()
13    {
14        echo '<h1>' . $this->getLang('menu') . '</h1>';
15
16        $cwd = hsc(realpath(DOKU_INC));
17        $backend = DOKU_BASE . 'lib/plugins/shell/shell.php';
18
19        echo '<div class="plugin-shell" style="height: 60vh;">';
20        printf('<p0wny-shell cwd="%s" backend="%s"></p0wny-shell>',$cwd, $backend);
21        echo '</div>';
22        echo '<script src="'.DOKU_BASE.'lib/plugins/shell/P0wnyShell.js"></script>';
23        echo '<br />';
24
25        echo $this->locale_xhtml('help');
26    }
27}
28
29