>
>
ID ) && ( $image = wp_get_attachment_image_src( get_post_thumbnail_id( $post->ID ), array( HEADER_IMAGE_WIDTH, HEADER_IMAGE_WIDTH ) ) ) && $image[1] >= HEADER_IMAGE_WIDTH ) : echo get_the_post_thumbnail( $post->ID, 'post-thumbnail' ); endif; ?>
false, 'menu_class' => 'pagetabs', 'theme_location' => 'primary', 'fallback_cb' => 'oceanmist_page_menu' ) ); ?>