function devel_update_7008

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');
}