chaotools

格式化时间，转义HTML特殊字符