旭的笔记

更换背景音乐播放器

前言啦啦啦，最近嫌弃原来的背景音乐播放器太丑，于是把它换掉了。

经 @BILIBIBI 提醒，才发现哈。于是马不停蹄地修复了。再次感谢！

我简直不知道该说自己什么好。。。诺，监控页里一清二楚呢：https://status.jiangxu.site/780725052#events-table美东时间（UTC+0）：2018-08-30 10:27:38（403错误）嗯，就是我手残了，直接点了清空站点。。。啊啊啊啊

哎呀，别的也不多说了，祝自己生日快乐！附：某两家公司出乎我意料。

本文内容基本都来自于英文网站http://yourlogicalfallacyis.com

废话不多说，直接上代码。压缩函数function compressHtml($html_source) { $chunks = preg_split('/(.*?<!--<\/nocompress&

废话不多说，直接上代码。压缩函数function compressHtml($html_source) { $chunks = preg_split('/(.*?<!--<\/nocompress&

补充（2018.7.17）感谢评论区 BILIBIBI 大佬的提醒！开始时间可采用$_SERVER['REQUEST_TIME_FLOAT']microtime(1);可以直接返回123.456这样的浮点数。前言原来typecho论坛的那个页面加载耗时不能用了,没办法自己百度找到