update DIGEST_PREFERRED_TIME prefs regexp

diff --git a/classes/pref_prefs.php b/classes/pref_prefs.php
index c8843adae17036e9864888e7d7bd81903595ab9a..4a8edd72571d04309066486bec63d059ffa387ba 100644 (file)
--- a/classes/pref_prefs.php
+++ b/classes/pref_prefs.php
@@ -472,7 +472,7 @@ class Pref_Prefs extends Protected_Handler {
 
                        } else if ($pref_name == 'DIGEST_PREFERRED_TIME') {
                                print "<input dojoType=\"dijit.form.ValidationTextBox\"
-                                       id=\"$pref_name\" regexp=\"[012]\d:\d\d\" placeHolder=\"12:00\"
+                                       id=\"$pref_name\" regexp=\"[012]?\d:\d\d\" placeHolder=\"12:00\"
                                        name=\"$pref_name\" value=\"$value\"><div class=\"insensitive\">".
                                        T_sprintf("Current server time: %s", date("H:i")) . "</div>";
                        } else {