Ticket #16268: 16268.3.diff

src/wp-includes/theme.php

@@ -1054 +1054 @@
 }
 
 /**
+ * Checks whether a header image is set or not
+ *
+ * @return boolean
+ */
+function has_header_image() {
+        $header_image = get_header_image();
+        return ! empty( $header_image );
+}
+
+/**
  * Get random header image data from registered images in theme.
  *
  * @since 3.4.0