首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何在getID3中更改时间

如何在getID3中更改时间
EN

Stack Overflow用户
提问于 2016-04-05 12:29:56
回答 1查看 222关注 0票数 0

我有来自getID3的php的结果字符串的问题,这个结果是02:00:00,但我想要的结果是00:02:00,怎样才能改变它?请帮助和感谢

代码语言:javascript
复制
$durasi = getDuration($direktori);
$endtime = date('H:i:s', strtotime($durasi));

function getDuration($file){
include_once("getID3/getid3/getid3.php");
$getID3 = new getID3;
$file = $getID3->analyze($file);
return $file['playtime_string'];
}
EN

回答 1

Stack Overflow用户

发布于 2016-04-05 13:19:53

playtime_string返回分钟和秒(m:s)。因此,您必须为make strtotime string添加小时数。用gmdate()函数代替date()生成h:i:s格式。

希望这能对你有所帮助

代码语言:javascript
复制
$durasi = getDuration($direktori);
$endtime = gmdate('H:i:s', strtotime('00:'.$durasi)); /// make these changes

function getDuration($file){
  include_once("getID3/getid3/getid3.php");
  $getID3 = new getID3;
  $file = $getID3->analyze($file);
  return $file['playtime_string'];
}
票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/36417150

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档