From 8433141d8c4ac703210923549d9188604f756805 Mon Sep 17 00:00:00 2001
From: Michael Truell <michael_truell@horacemann.org>
Date: Sat, 24 Dec 2016 22:29:32 -0500
Subject: [PATCH] Add in num submissions

---
 website/leaderboard.php       | 2 +-
 website/script/leaderboard.js | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/website/leaderboard.php b/website/leaderboard.php
index 6799e2d5..34746efd 100644
--- a/website/leaderboard.php
+++ b/website/leaderboard.php
@@ -19,7 +19,7 @@
                     <div class="row" style="margin-top: 21px; margin-bottom: 10px;">
                         <div class="col-sm-9">
                             <h1 id="leaderHeading" style="margin-top: 0px;">Leaderboard</h1>
-                            <p>There are <span id="numUsers"></span> users on the Halite leaderboard. Want to join them? Visit our <a href="basics_quickstart.php">getting started guide</a>.</p>
+                            <p>There are <span id="numUsers"></span> users on the Halite leaderboard with <span id="numSubmissions"></span> bot submissions.</p>
                         </div>
                         <div class="col-sm-3">
                             <div class="input-group">
diff --git a/website/script/leaderboard.js b/website/script/leaderboard.js
index f34a6a4a..38e1098c 100644
--- a/website/script/leaderboard.js
+++ b/website/script/leaderboard.js
@@ -1,5 +1,6 @@
 $(function() {
     $("#numUsers").html(getNumActiveUsers());
+    $("#numSubmissions").html(getNumSubmissions());
     var userSearch = {
         $usernameField: $("#usernameField"),
         $submitButton: $("#usernameSubmitButton"),