【发布时间】:2019-07-07 09:56:38
【问题描述】:
我有一个名为 MyFolder 的文件夹,其中包含以下三个文件:
file1
file2
file3.gif
file.html
我需要将扩展名“.gif”添加到没有扩展名的文件中。那么第一个file1和第二个file2文件应该是目标。
结果应该是:
file1.gif
file2.gif
file3.gif
file.html
这些文件是 gif 文件,但不知何故,它们丢失了扩展名。如果我手动添加扩展(编辑其名称),那么我可以在浏览器中正确加载
我正在尝试使用此代码:
$directory = "http://www.example.com/MyFolder/";
if ($handle = opendir($directory)) {
while (false !== ($fileName = readdir($handle))) {
if($fileName['extension'] == ""){
$fileName = $fileName.".gif";
}
rename($directory . $fileName, $directory . $newName);
}
closedir($handle);
}
【问题讨论】:
-
看起来很简单——什么代码导致了问题?
-
注意:如果它们还没有,那当然不会使它们成为 gif 图像(我知道,这似乎很明显,但可能值得注意)。
-
@RamRaider 我添加了我尝试使用的代码。
-
@CD001 这些文件是 gif 文件,但不知何故它们丢失了扩展名。如果我手动添加扩展(编辑其名称),那么我可以在浏览器中正确加载。
-
@JPashs - 只是确保;)我个人会glob它。