update DIGEST_PREFERRED_TIME prefs regexp

13 years ago · 1b92f54375
parent 1b9b19af0f
commit 1b92f54375
1 changed files with 1 additions and 1 deletions
--- 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 {