function devel_update_6003

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

File

./devel.install, line 190

Code

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