1<?php
2
3use dokuwiki\Extension\AdminPlugin;
4
5/**
6 * DokuWiki Searchindex Manager
7 *
8 * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
9 * @author     Andreas Gohr <andi@splitbrain.org>
10 */
11class admin_plugin_searchindex extends AdminPlugin
12{
13    /**
14     * return sort order for position in admin menu
15     */
16    public function getMenuSort()
17    {
18        return 40;
19    }
20
21    /**
22     * handle user request
23     */
24    public function handle()
25    {
26    }
27
28    /**
29     * output appropriate html
30     */
31    public function html()
32    {
33        $this->setupLocale();
34        echo $this->locale_xhtml('intro');
35        echo '<searchindex-manager id="plugin__searchindex"' .
36            ' lang="' . htmlspecialchars(json_encode($this->lang)) . '"' .
37            ' url="' . DOKU_BASE . 'lib/plugins/searchindex/ajax.php"' .
38            '></searchindex-manager>';
39    }
40}
41