function devel_update_7003

As per issue #813132: change schablon.com to white for krumo.

File

./devel.install, line 94

Code

function devel_update_7003() {
    if (variable_get('devel_krumo_skin', 'white') == 'schablon.com') {
        variable_set('devel_krumo_skin', 'white');
    }
}