$output = file_get_contents('any_html_file.html');
$x = '123';
echo <<<OUT
$output
OUT;
я про такую шнягу
ну хорошо, значит это реализовано либо таким методом , но в другом виде
либо можно вот так:
index.php<?php
$title = 'FUCKING TITLE';
$output = file_get_contents('some.html');
eval("\$output = \"$output\";");
echo $output;
?>
some.html<html>
<head>
<title>$title</title>
</head>
<body>
</body>
</html>
Велосипед!