wp-includes/theme.php:1693Displays header video URL.
function the_header_video_url() { $video = get_header_video_url(); if ( $video ) { echo esc_url( $video ); }}Introduced in 4.7.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-includes/theme.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.