/**
* Checks whether a header image is set or not.
*
* @since 4.2.0
*
* @see get_header_image()
*
* @return bool Whether a header image is set or not.
*/
function has_header_image() { return (bool) get_header_image();
}/**
* Retrieves header image for custom header.
*
* @since 2.1.0
*
* @return string|false
*/
function get_header_image() { $url =
get_theme_mod( 'header_image',
get_theme_support( 'custom-header', 'default-image'
) );