function devel_update_7003 in Devel 7

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