Theming update.php and install.php not possible- Drupal hardcodes them to use Minelli

Drupal hardcodes minelli to be the theme for the update.php and install.php pages. Stupid.

• Minnelli is always used for the initial install and update operations. In
• other cases, "settings.php" must have a "maintenance_theme" key set for the

• $conf variable in order to change the maintenance theme.

  // Install and update pages are treated differently to prevent theming overrides.
  if (defined('MAINTENANCE_MODE') && (MAINTENANCE_MODE == 'install' || MAINTENANCE_MODE == 'update')) {
  $theme = 'minnelli';
  }

But it uses the default theme logo -- which for one theme of mine is huge, intentionally so–– and it covers up everything on those pages.

Stupid.

However, this does mean i can temporarily enable Minnelli, tell it to use its default logo, and then disable it, and my update.php will now function with a usual-sized druplicon.