01.09.2008, 16:43
|
|
Постоянный
Регистрация: 29.05.2007
Сообщений: 850
Провел на форуме:
4832771
Репутация:
1916
|
|
Лучше регуляркой имхо. Вот с форматом файла хз, потеряется ли форматирование после замены или нет..
Для твоего случая я бы такую регулярку сделал
PHP код:
<?php
$str = '00:26:10640
00:26:10753
00:23:10457
00:20:10156
00:22:10964
00:21:10056
';
$out = preg_replace('#(\d{2}):(\d{2}):(\d{2})(\d{3})#', '\\1:\\2:\\3,\\4', $str);
echo '<pre>'.$out;
?>
Это как пример. Соответственно вначале открываешь нужный файл, потом регуляркой меняешь и записываешь в новый файл (или перезаписываешь старый) |
|
|