Ticket #52516: 52516.patch

src/wp-content/themes/twentyeleven/header.php

@@ -103 +103 @@
                                  * The header image.
                                  * Check if this is a post or page, if it has a thumbnail, and if it's a big one
                                  */
+                                $image = false;
                                 if ( is_singular() && has_post_thumbnail( $post->ID ) ) {
                                         $image = wp_get_attachment_image_src( get_post_thumbnail_id( $post->ID ), array( $header_image_width, $header_image_width ) );
-                                        if ( $image && $image[1] >= $header_image_width ) {
-                                                // Houston, we have a new header image!
-                                                echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' );
-                                        }
+                                }
+                                if ( $image && $image[1] >= $header_image_width ) {
+                                        // Houston, we have a new header image!
+                                        echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' );
                                 } else {
                                         // Compatibility with versions of WordPress prior to 3.4.
                                         if ( function_exists( 'get_custom_header' ) ) {

src/wp-content/themes/twentyten/header.php

@@ -87 +87 @@
                                 }
 
                                 // Check if this is a post or page, if it has a thumbnail, and if it's a big one.
+                                $image = false;
                                 if ( is_singular() && has_post_thumbnail( $post->ID ) ) {
                                         $image = wp_get_attachment_image_src( get_post_thumbnail_id( $post->ID ), array( $header_image_width, $header_image_width ) );
-                                        if ( $image && $image[1] >= $header_image_width ) {
-                                                // Houston, we have a new header image!
-                                                echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' );
-                                        }
+                                }
+                                if ( $image && $image[1] >= $header_image_width ) {
+                                        // Houston, we have a new header image!
+                                        echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' );
                                 } else {
                                         // Compatibility with versions of WordPress prior to 3.4.
                                         if ( function_exists( 'get_custom_header' ) ) {