From 2a4be7ba91776b09ea6a9494ead6dcbcc43684c7 Mon Sep 17 00:00:00 2001
From: Chad Mazilly <chadmazilly@gmail.com>
Date: Tue, 7 Nov 2017 10:38:51 -0600
Subject: [PATCH] change date time formatting

---
 lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib.php b/lib.php
index 79abb0b4..e72b8245 100644
--- a/lib.php
+++ b/lib.php
@@ -33,7 +33,7 @@ public static function _s($key, $a = null) {
     }
 
     static function format_time($time) {
-        return userdate($time, '%A, %d %B %Y, %I:%M %P');
+        return userdate($time, '%m-%d-%Y, %I:%M %p');
     }
 
     static function cleanup($table, $contextid, $itemid) {