php获取文件内容并将其打印出格式化

Question

如何打印格式化的HTML文件？这是我目前的代码：

echo htmlspecialchars(file_get_contents($url)); 

但结果看起来很丑陋，所有人都在一起，没有空间没有标签。 有没有办法像原始文件一样打印文件？

Answer 1

预标签可以正常工作。

<pre>
<?php echo htmlspecialchars(file_get_contents($url)); ?>
</pre>