[Bug 1099269] New: Review Request: drupal7-admin_theme - Allows you to define a different theme for admin pages