title: How to convert time format Mysql to hours/minutes
body: <p>I have a time format from mysql who looks like this : <strong>07:22:46.5714</strong></p>
  
  <p>And I want to display instead <strong>07h23min</strong></p>
  
  <p>I have searched php already existing function for this but it seems like I have to wrote one, how can I do this ?</p>