From 061d4c8a8f731bfe3690e632385050d82977ec4c Mon Sep 17 00:00:00 2001
From: flashwave <me@flash.moe>
Date: Thu, 31 Aug 2023 00:54:17 +0000
Subject: [PATCH] Fixed leaderboard name not retaining the leading 0.

---
 public-legacy/forum/leaderboard.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/public-legacy/forum/leaderboard.php b/public-legacy/forum/leaderboard.php
index ff2902f..ad49c10 100644
--- a/public-legacy/forum/leaderboard.php
+++ b/public-legacy/forum/leaderboard.php
@@ -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') {