se ti serve in php non lo so, però puoi estrarla direttamente con mysql

Codice PHP:
SELECT DATE_FORMAT(campodatetime'%H:%i:%s');