What is the correct syntax for including a text file in a PHP script within an HTML page?

To include a text file in a PHP script within an HTML page, you can use the `file_get_contents()` function in PHP. This function reads the entire contents of a file into a string. You can then echo or manipulate this string within your PHP script to display the contents of the text file on your HTML page.

<?php
$file_contents = file_get_contents("your_text_file.txt");
echo $file_contents;
?>