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 33 echo '<div id="plugin__searchindex">'; 34 echo $this->getLang('nojs'); 35 echo '</div>'; 36 37 } 38 39 40} 41//Setup VIM: ex: et ts=4 enc=utf-8 : 42