I have a time format from mysql who looks like this : **07:22:46.5714**

And I want to display instead **07h23min**

I have searched php already existing function for this but it seems like I have to wrote one, how can I do this ?