use smart_date_time in user prefs

diff --git a/modules/pref-users.php b/modules/pref-users.php
index c2c65b84fa032953d9c5aa4571f32d4da142ed9e..c3b85219d2d485d2c91c9fe482576e74149fb642 100644 (file)
--- a/modules/pref-users.php
+++ b/modules/pref-users.php
@@ -235,8 +235,15 @@
 
                        $line["login"] = htmlspecialchars($line["login"]);
 
-                       $line["last_login"] = date(get_pref($link, 'SHORT_DATE_FORMAT'),
-                               strtotime($line["last_login"]));
+#                      $line["last_login"] = date(get_pref($link, 'SHORT_DATE_FORMAT'),
+#                              strtotime($line["last_login"]));
+
+                       if (get_pref($link, 'HEADLINES_SMART_DATE')) {
+                               $line["last_login"] = smart_date_time(strtotime($line["last_login"]));
+                       } else {
+                               $line["last_login"] = date(get_pref($link, 'SHORT_DATE_FORMAT'),
+                                       strtotime($line["last_login"]));
+                       }                               
 
                        $access_level_names = array(0 => "User", 10 => "Administrator");