PHP convert specific string to well formated time string
<p>We have a lot of strings for storing the time that it took participants to finish the track. There are basically 2 different types of those strings ( &lt;1 hour and >1hour ):</p>

<pre><code>54:37
01:12:20
</code></pre>

<p>What would be the most reasonable way to format these strings in PHP before displaying so that they would keep the same standard - <code>hh:mm:ss</code> (the first string needs to be <code>00:54:37</code> )?</p>

<p>Any help or guindace is much appreciated.</p>