devel_disable()Implements hook_disable().
sites/all/modules/devel/devel.install, line 64
<?php
function devel_disable() {
// Query logging should probably not be set if devel.module is disabled.
if (variable_get('dev_query', 0)) {
variable_set('dev_query', 0);
drupal_set_message(t('Disabled query logging since devel module is disabled.'));
}
}
?>