What is the correct way to include the file gravy.php in the middle of HTML code?
<?php include "gravy.php"; ?>
<?php include gravy.php; ?>
<?php include file="gravy.php"; ?>
<!-- include file="gravy.php"; -->