xref: /plugin/searchindex/admin.php (revision 73c6efcd6d8a4f75f0c193ebfdfe99e616e7347e) 
1<?php
2if(!defined('DOKU_INC')) define('DOKU_INC',realpath(dirname(__FILE__).'/../../../').'/');
3if(!defined('DOKU_PLUGIN')) define('DOKU_PLUGIN',DOKU_INC.'lib/plugins/');
4require_once(DOKU_PLUGIN.'admin.php');
5
6/**
7 * All DokuWiki plugins to extend the admin function
8 * need to inherit from this class
9 */
10class admin_plugin_searchindex extends DokuWiki_Admin_Plugin {
11    var $cmd;
12
13    /**
14     * return sort order for position in admin menu
15     */
16    function getMenuSort() {
17        return 40;
18    }
19
20    /**
21     * handle user request
22     */
23    function handle() {
24    }
25
26    /**
27     * output appropriate html
28     */
29    function html() {
30        echo $this->plugin_locale_xhtml('intro');
31
32        echo '<div id="plugin__searchindex">';
33        echo '<div class="buttons" id="plugin__searchindex_buttons">' .
34                '<input type="button" class="button" id="plugin__searchindex_rebuild" value="' . $this->getLang('rebuild') . '"/>' .
35                '<p>' . $this->getLang('rebuild_tip') . '</p>' .
36                '<input type="button" class="button" id="plugin__searchindex_update" value="' . $this->getLang('update') . '"/>' .
37                '<p>' . $this->getLang('update_tip') . '</p>' .
38             '</div>';
39        echo '<div class="msg" id="plugin__searchindex_msg"></div>';
40        echo '</div>';
41    }
42}
43//Setup VIM: ex: et ts=4 enc=utf-8 :
44