function devel_uninstall

Implements hook_uninstall().

File

./devel.install, line 33

Code

function devel_uninstall() {
    variable_del('devel_execution');
    variable_del('devel_timer');
    variable_del('devel_query_display');
    variable_del('devel_redirect_page');
    variable_del('devel_api_url');
    variable_del('devel_memory');
    variable_del('devel_error_handlers');
    variable_del('devel_raw_names');
    variable_del('devel_switch_user_list_size');
    variable_del('devel_switch_user_include_anon');
    variable_del('devel_switch_user_show_form');
    variable_del('devel_krumo_skin');
    variable_del('devel_page_alter');
    variable_del('devel_query_random_range');
    variable_del('devel_query_sort');
    variable_del('devel_rebuild_theme_registry');
    variable_del('devel_use_uncompressed_jquery');
    variable_del('devel_debug_mail_file_format');
    variable_del('devel_debug_mail_directory');
    // Delete the development menu.
    if (module_exists('menu')) {
        if ($devel_menu = menu_load('devel')) {
            menu_delete($devel_menu);
        }
    }
}