Seconden converteren naar HH:MM:SS

Gebruik de MySQL SEC_TO_TIME-functie.

Voorbeeld:

mysql> SELECT SEC_TO_TIME(2378);
        -> '00:39:38'

U kunt uw SQL-query dus schrijven als:

SELECT username, score, SEC_TO_TIME(timeran) as timetaken FROM gamescores ORDER BY Time DESC

Uw code wordt dan:

<?php
$result = mysql_query("SELECT username, score, SEC_TO_TIME(timeran) as timetaken FROM gamescores ORDER BY Time DESC");
if (mysql_num_rows($result)) {
for($rank=1; $row = mysql_fetch_assoc($result); $rank++) {
    echo "<tr>
    <td>{$rank}</td>
    <td>{$row['username']}</td>
    <td>{$row['timetaken']}</td>
    <td>{$row['score']}</td>