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