title: PHP: Best way to convert a datetime to just time string?
body: <p>I have a datetime that I pulled from the database that looks like this: <code>2000-01-01 08:00:00</code></p>
  
  <p>Now I need to convert it so all I have left is: <code>08:00:00</code></p>
  
  <p>What is the best way to do this?</p>