Source

File: wp-includes/theme.php

function the_header_image_tag( $attr = array() ) {
	echo get_header_image_tag( $attr );
}