Call to update.php disables all previously enabled themes

Hi @all,

I just found a strange bug regarding the update.php process of Drupal. To reproduce this bug perform the following steps:

- Use a fresh Drupal install
- Check Site building / Themes -> Garland is enabled (checkbox is ticked)
- Run update.php
- Check Site building / Themes -> Garland is still the default theme, but the "Enabled" checkbox is not ticked anymore

Of course, the theme is still used when it is the default theme, but if you have other themes enabled and users can choose from them, they will get only the default theme after update until you enable all other themes again.

Hope this can be fixed soon, as we are using quite a lot of themes and it is a pain in the ass to enable all of them again after running update.php :-)

Thanx in advance & cheers

hctom