PGR2 Leaderboard tweaks for Insignia JS - Fix the leaderboard names; format times correctly; format kudos scores; highlight yourself if logged in; separator for top 10; style tweaks Aŭtoro emsixteen Ĉiutagaj instaloj 0 Tutaj instaloj 2 Ratings 0 0 0 Kreita 2024/11/22 Ĝisdatigita 2024/11/22
