Source

File: wp-includes/theme.php

function has_header_video() {
	return (bool) get_header_video_url();
}