function devel_update_7008 in Devel 7

Change variable "dev_timer" to "devel_timer".

File

./devel.install, line 151

Code

function devel_update_7008() {
  if (variable_get('dev_timer') !== NULL) {
    variable_set('devel_timer', variable_get('dev_timer'));
  }
  variable_del('dev_timer');
}