+ // 3.5 -> 3.5+ - an empty twentytwelve directory was created upon upgrade to 3.5 for some users, preventing installation of Twenty Twelve.
+ if ( '3.5' == $old_wp_version ) {
+ if ( is_dir( WP_CONTENT_DIR . '/themes/twentytwelve' ) && ! file_exists( WP_CONTENT_DIR . '/themes/twentytwelve/style.css' ) ) {
+ // Bumping the introduced version to 3.5.1 for the affected users causes Twenty Twelve to be installed for the first time
+ if ( $wp_filesystem->delete( $wp_filesystem->wp_themes_dir() . 'twentytwelve/' ) )
+ $_new_bundled_files[ 'themes/twentytwelve/' ] = '3.5.1';
+ }
+ }
+