使用php转义输出HTML到JavaScript