The following line comes from the included file.
Notice that even though the included file has the extension .txt, the PHP commands in it are processed. However it would probably be better to give it a .php extension to indicate clearly what its contents are and to get the benefits of syntax highlighting with the editor.