How can PHP be used to include HTML files from a remote server?

When including HTML files from a remote server in PHP, you can use the `file_get_contents()` function to fetch the contents of the remote file and then echo it out to include it in your PHP script.

<?php
$remote_html = file_get_contents('http://www.example.com/remote_file.html');
echo $remote_html;
?>