diff --git a/ext/tag_tools/main.php b/ext/tag_tools/main.php index b6a61686..42d2d381 100644 --- a/ext/tag_tools/main.php +++ b/ext/tag_tools/main.php @@ -6,36 +6,6 @@ class TagTools extends Extension /** @var TagToolsTheme */ protected $theme; - public function onPageRequest(PageRequestEvent $event) - { - global $database, $page, $user; - - if ($event->page_matches("admin")) { - if (!$user->can(Permissions::MANAGE_ADMINTOOLS)) { - $this->theme->display_permission_denied(); - } else { - if ($event->count_args() == 0) { - send_event(new AdminBuildingEvent($page)); - } else { - $action = $event->get_arg(0); - $aae = new AdminActionEvent($action); - - if ($user->check_auth_token()) { - log_info("admin", "Util: $action"); - set_time_limit(0); - $database->set_timeout(300000); - send_event($aae); - } - - if ($aae->redirect) { - $page->set_mode(PageMode::REDIRECT); - $page->set_redirect(make_link("admin")); - } - } - } - } - } - public function onAdminBuilding(AdminBuildingEvent $event) { $this->theme->display_form();