The reason you don't see any HTML in the page source is that the PHP script is likely outputting the video file directly to the browser, rather than generating an HTML page. This is a common approach for serving video content, as it allows for more efficient and flexible video playback.