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) { $html = "

All tags to lowercase Recount tag use Purge unused tags Download database contents Convert database to InnoDB (MySQL only)

"; $page->add_block(new Block("Misc Admin Tools", $html)); } } ?>