1<?php
2
3/**
4 * DokuWiki Searchindex Manager
5 *
6 * @license    GPL 2 (http://www.gnu.org/licenses/gpl.html)
7 * @author     Andreas Gohr <andi@splitbrain.org>
8 */
9class admin_plugin_searchindex extends DokuWiki_Admin_Plugin
10{
11    /**
12     * return sort order for position in admin menu
13     */
14    public function getMenuSort()
15    {
16        return 40;
17    }
18
19    /**
20     * handle user request
21     */
22    public function handle()
23    {
24    }
25
26    /**
27     * output appropriate html
28     */
29    public function html()
30    {
31        echo $this->locale_xhtml('intro');
32
33        echo '<div id="plugin__searchindex">';
34        echo '<div class="buttons" id="plugin__searchindex_buttons">';
35        echo '<input type="button" class="button" id="plugin__searchindex_rebuild" value="' . $this->getLang('rebuild') . '"/>';
36        echo '<p>' . $this->getLang('rebuild_tip') . '</p>';
37        echo '<input type="button" class="button" id="plugin__searchindex_update" value="' . $this->getLang('update') . '"/>';
38        echo '<p>' . $this->getLang('update_tip') . '</p>';
39        echo '</div>';
40        echo '<div class="msg" id="plugin__searchindex_msg"></div>';
41        echo '</div>';
42    }
43}
44//Setup VIM: ex: et ts=4 enc=utf-8 :
45