[Dates] Convertion Time en TimeStamp

Après recherche (peut être mauvaise d'ailleurs :roll:), je n'ai pas trouvé de fonction pour convertir simplement un champ de type TIME MySQL en TimeStamp.
Pour le moment je fais comme ceci, mais y a t il mieux. Je trouve ça médiocre :?

Code:

---

1 2 3

$my_Time = "03:12:25"; $tab_H = explode(':', $my_Time); $TS = ($tab_H[0]*3600)+($tab_H[1]*60)+$tab_H[2];

---

Il existe la fonction mktime pour créer un timestamp.
Par contre il faudra quand même découper ta chaine à la main.

http://fr.php.net/mktime

J'utilise mktime dans d'autre situations, quand il s'agit de dates.
Je pense que ma solution ne dois pas être aussi naze finalement.

Merci en tout cas.