|
| |
|
|
| |
для: DEM
(05.04.2008 в 22:16)
| | | > изменить картинки формата .GIF на .gif
Формат ".GIF"? Это такой новый модифицированный GIF?
<?php
$file_list = glob('IMG/*.GIF', GLOB_NOSORT);
for($i = 0; $i < count($file_list); $i++)
{
rename($file_list[$i], substr($file_list[$i], 0, -3) . 'gif');
}
?>
|
| |
| |
|
|
| |
|
|
| |
для: DEM
(05.04.2008 в 22:16)
| | |
rename("test/2.GIF", "test/2.gif");
|
----
Regards, Max Vasin. | |
| |
|
|
| |
|
|
| | есть папка IMG в ней, как нетрудно догадаться, есть картинки... Так вот, надо изменить картинки формата .GIF на .gif, а то он тогда не отображает картинки, если ссылка на .gif | |
| |
|
|
|
