From 5a4b2e8ead4eb2da63c2ac6463f27a1e19e77240 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Sun, 24 Feb 2008 13:29:55 +0000
Subject: [PATCH] MDL-13605 use userdate() instead of date() when printing next
 cron execution time; merged from MOODLE_19_STABLE

---
 admin/cron.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/admin/cron.php b/admin/cron.php
index 0c00852d54..9ffcd51050 100644
--- a/admin/cron.php
+++ b/admin/cron.php
@@ -445,7 +445,7 @@
             }
             @set_time_limit(0);
         } else {
-            mtrace('Next stats run after:'. date($timetocheck));
+            mtrace('Next stats run after:'. userdate($timetocheck));
         }
     }
 
-- 
2.39.5