Convertir formato 09:24:38 a segundos

[karenbety53]

Me funciono, muchas gracias, pero si quiero enviar los segundos a un txt , esque no puedo enviar el hora_a_segundos

asi es como envio los datos al txt

Código PHP:

<a href="index.php" id="back">Go back</a>
        <?php
        $contenido= $pa1 
        ."\r\n". $pa2
        ."\r\n". $pa3
        ."\r\n". $pa4 
        ."\r\n". $res
        ."\r\n". $pa6
        ."\r\n". $pa7 
        ."\r\n". $pa8
        ."\r\n". $pa9 
        .",". $pa10
        ."\r\n". $pa11
        ."\r\n". $pa12 
        ."\r\n". $pa13 
        ."\r\n". $pa14
        ."\r\n". $pa15 ;
        
        $fp=fopen("../fichiers/archivo.txt","w");
        fwrite($fp,$contenido);
        fclose($fp) ;