用PHP改变字符串

Question

如果我有filename.jpg,用PHP怎么会改变它filename123456789.jpg,其中123456789是时间戳,我目前这样做,

$name = $filename;
$parts = explode(".", $name);
$filename = $parts[0].time().'.'.$parts[1];

然而,这只是让我留下了123456789.

Answer 1

您的方法也可以正常工作,但如果文件名有多个点,则会中断.我宁愿使用pathinfo()函数来完成这个:

$info = pathinfo($filename);
$filename = $info['filename'].time().'.'.$info['extension'];