Fix: get ranking with date, time

2018-05-24 18:22:20 +09:00
parent 8e2cf7f38f
commit 82e290db86
10 changed files with 85 additions and 21 deletions
@@ -17,6 +17,7 @@
 		<!-- library source files -->
 		<script src="../../game/lib/number_util.js"></script>
 		<script src="../../game/lib/string_util.js"></script>
+		<script src="../../game/lib/date_util.js"></script>
 		<script src="../../game/lib/history_record_manager.js"></script>
 		<script src="../../game/lib/ranking_record_manager.js"></script>
 		<script src="../../game/lib/db_connect_manager.js"></script>