php有办法实现像这样输出js代码？

Question

比如有个变量值是这样的
$a = "<script>window.location.href='http://xxx.com';</script>";在网页上是直接显示但不执行js：
<script>window.location.href='http://xxx.com';</script>查看html源文件是这样：
&lt;script&gt;window.location.href='http://xxx.com';&lt;/script&gt;php有这种函数？还是要怎么转换？

Answer 1

$a = "<script>window.location.href='http://xxx.com';</script>";
$b = htmlspecialchars($a);
echo $b;
//result: <script>window.location.href='http://xxx.com';</script> 
//source: &lt;script&gt;window.location.href='http://xxx.com';&lt;/script&gt;