settings page.', array('@settings-page' => url('admin/config/services/pingdom'))); drupal_set_message($message, 'warning'); } /** * Hook_uninstall implementation. * * Remove any variables added by this module */ function pingdom_rum_uninstall() { variable_del('pingdom_rum_project_id'); variable_del('pingdom_rum_visibility_pages'); variable_del('pingdom_rum_pages'); variable_del('pingdom_rum_roles'); variable_del('pingdom_rum_roles_type'); }