set_title("Admin Tools");
$page->set_heading("Admin Tools");
$page->add_block(new NavBlock());
}
/*
* Display a link to delete an image
*
* $image_id = the image to delete
*/
public function get_deleter_html($image_id) {
$i_image_id = int_escape($image_id);
$html = "
";
return $html;
}
/*
* 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) {
$html = "
";
$page->add_block(new Block("Misc Admin Tools", $html));
}
}
?>