>

ID ) && ( /* $src, $width, $height */ $image = wp_get_attachment_image_src( get_post_thumbnail_id( $post->ID ), 'post-thumbnail' ) ) && $image[1] >= HEADER_IMAGE_WIDTH ) { // Houston, we have a new header image! echo '
'; echo get_the_post_thumbnail( $post->ID , null); echo '
'; } ?>
'' ) ); ?> ', '' ); ?>