<?php class AdminPageTheme extends Themelet { /* * Show the basics of a page, for other extensions to add to */ public function display_page(Page $page) { $page->set_title("Admin Tools"); $page->set_heading("Admin Tools"); $page->add_block(new NavBlock()); } /* * Show a form which links to admin_utils with POST[action] set to one of: * 'lowercase all tags' * 'recount tag use' * 'purge unused tags' */ public function display_form(Page $page) { global $user; $html = " ".make_form(make_link("admin_utils"))." <select name='action'> <option value='lowercase all tags'>All tags to lowercase</option> <option value='recount tag use'>Recount tag use</option> <option value='purge unused tags'>Purge unused tags</option> <option value='database dump'>Download database contents</option> <!--<option value='convert to innodb'>Convert database to InnoDB (MySQL only)</option>--> </select> <input type='submit' value='Go'> </form> "; $page->add_block(new Block("Misc Admin Tools", $html)); $html = " ".make_form(make_link("admin_utils"))." <input type='hidden' name='action' value='delete by query'> <input type='text' name='query'> <input type='submit' value='Go'> </form> "; $page->add_block(new Block("Delete by Query", $html)); } } ?>