MDL-13605 use userdate() instead of date() when printing next cron execution time...

diff --git a/admin/cron.php b/admin/cron.php
index 0c00852d54df5a868223c40442a4f92b6b28960d..9ffcd5105026e6b5389d0c69b4a1c9323b139a86 100644 (file)
--- 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));
         }
     }