#305653 by Dave Reid, cdale, and snowball43: Fix bug where enabled themes get unmarked during update.php.