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

php fetch file content and print it out formatted

如何打印出格式化的 HTML 文件?这是我当前的代码:

echo htmlspecialchars(file_get_contents($url)); 

但结果看起来很难看,全部粘在一起,没有 space 没有标签。 有什么方法可以像原始文件一样打印文件吗?

前置标签会起作用。

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