Updated drupal core to 7.30; also Devel [devel-7.x-1.5], Views [views-7.x-3.8].
Added adminimal_theme.