Fixed leaderboard name not retaining the leading 0.

This commit is contained in:
flash 2023-08-31 00:54:17 +00:00
parent 6fc10984e1
commit 061d4c8a8f

View file

@ -83,10 +83,10 @@ foreach($rankings as $ranking) {
$name = 'All Time';
if($year > 0) {
$name = "Leaderboard {$year}";
$name = sprintf("Leaderboard %04d", $year);
if($month > 0)
$name .= "-{$month}";
$name .= sprintf("-%02d", $month);
}
if($mode === 'markdown') {