Convertire ora in formato HH:MM:SS in un numero per operazioni di confronto

[blastoise]

Ho la necessità di convertire dei valori di questo tipo $val1='07:00:00' in in numero per poi eseguire dei confronti fra questi valori.
Questi orari li ricevo anche dal database perciò non posso partire da un formato orario diverso. Come posso realizzarlo in php?

[king size slim]

Se devi vedere ad esempio se un'ora è maggiore di un'altra o cose del genere ti basta rimuovere i 2 punti:

$val1='07:00:00';
$ora = (int)str_replace(":","", $val1);
echo $ora;

[Santino83_02]

usa strtotime

[badaze]

Ho la necessità di convertire dei valori di questo tipo $val1='07:00:00' in in numero per poi eseguire dei confronti fra questi valori.
Questi orari li ricevo anche dal database perciò non posso partire da un formato orario diverso. Come posso realizzarlo in php?

Se tutti i tuoi valori hanno lo stesso formato puoi tranquillamente fare un confronto senza nessuna conversione.
'07:00:00' è minore di '07:00:01' o di '09:10:59' o di '22:45:07' e maggiore di '00:32:21' o di '06:59:59'