JS microtime vs php microtime
作者:互联网
我正在使用插件来制作ganttchart.我用json提供插件:
插件:GitHub – JQuery Gantt
{ "name": "Zbigniew Kowalski",
"desc": "Administrator",
"values": [
{"from": "/Date(1310508000000)/", "to": "/Date(1311026400000)/", "desc": "<b>Type</b>: Task<br/><b>name</b>: Task 5<br/><b>Description</b>: Task desc."}
]
},
因此,如果我尝试生成这样的块,我会在微缩时间上遇到一些体面的问题.
php中的microtime给了我:0.77424900 1315815507
和时间:1315815507
但我需要像1310508000000这样的东西.
它不能只是添加一些0的关键?
解决方法:
你应该使用microtime(true)来设置一个浮点值,然后将它乘以1000得到微秒:
$time = microtime(true)*1000;
请查看the documentation以获取更多信息.
标签:jquery,json,php,microtime,gantt-chart 来源: https://codeday.me/bug/20190630/1337271.html