modifica in php

[Python]

ciao a tutti ho bisogno di un aiutino urgente

allora ho un file di sottotitoli e devo modificare TUTTI i tempi, visto che il filmato a cui devo abbinarlo ha un minutino iniziale di pubblicità

il file dei sottotitoli si presenta cosi


1
00:01:17,335 --> 00:01:19,838
Tre mesi dopo.

2
00:02:21,274 --> 00:02:24,152
Mi piace questa automobile, quanto costa?

3
00:02:24,569 --> 00:02:27,238
Se proprio vuoi saperlo, ma credo che tu non possa permettertela.

4
00:02:27,280 --> 00:02:28,239
Stabilisci una cifra.

e ovviamente ce ne sono altri...
io devo prendere ogni riga con i tempi
00:01:17,335 --> 00:01:19,838

aggiungere un certo tempo chessò 1 minuto 3 secondi e 250 millesimi
il programma lo trasforma cosi

00:02:20,585 --> 00:02:23,088

poi deve passare al successivo etcetc
e alla fine mi deve dare tutto il file però con i tempi modificati...

come agisco? per favore è importante per me :(
non ho idea di come farlo...

[VICIUS]

puoi aprire il file. leggere linea per linea e quando incontri la riga che ti interessa usi una explode per ricavarti i vari valori e poi esegui la somma. dopo di che scrivi su un'altro file.

certo il php non è il linguaggio piu adeguato per questo ma si riesce a rimediare qualcosa con poco codice.

ciao ;)

[Python]

lo so ma il php è l'unica cosa che so usare :D

grazie della risposta :)

[cionci]

La cosa più semplice è usare questo:

file
(PHP 3, PHP 4 >= 4.0.0)

file -- Legge l'intero file in un vettore
Descrizione
array file ( string filename [, int use_include_path])


Identica a readfile(), eccetto per il fatto che file() restituisce il file in un vettore. Ogni elemento del vettore corrisponde ad una riga del file, con il carattere di newline ancora inserito.

A quel punto ti fai la scansione delle varie righe tramite un for od un while...