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?