<td><?php
echo number_format($jumps);
?>
</td></tr>
<?php
$first = false;
$rank++;
}
echo "</table>";
}
} else {
echo "<h2>No results. Press <a href=\"timer.php\">Home</a> to get the map list.</h2>";
}
$stmt->close();
} else {
$result = mysqli_query($connection, "SELECT DISTINCT map FROM mapzones ORDER BY map ASC;");
if ($result->num_rows > 0) {
echo '<h2>Click a map name in order to auto-fill the form.</h2>';
while ($row = $result->fetch_assoc()) {
echo "<a onclick=\"document.all.map.value = '" . $row["map"] . "'\";>" . removeworkshop($row["map"]) . "</a></br>";
}
} else {
echo "No results";
}
}
?>
</body>
</html>
<?php
$connection->close();
$stmt->bind_result($id, $auth, $name, $time, $jumps, $date);
}
if ($rows > 0) {
$first = true;
$rank = 1;
while ($row = $stmt->fetch()) {
if ($first) {
?>
<p><span class="mark"><?php
echo $styles[$style];
?>
</span> Records (<?php
echo number_format($rows);
?>
) for <i><?php
echo removeworkshop($map);
?>
</i>:</p>
<table class="table table-striped table-hover">
<thead id="ignore"><th>Rank</th>
<th>Record ID</th>
<th>SteamID 3</th>
<th>Player</th>
<th>Time</th>
<th>Jumps</th>
<th>Points</th>
<th>Date <small>(YYYY-MM-DD)</small></th></thead>
<?php
$first = false;
