From 1b92f54375ae0087a807496d60b7a8b8c81def87 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Tue, 31 Jan 2012 15:53:46 +0400
Subject: [PATCH] update DIGEST_PREFERRED_TIME prefs regexp

---
 classes/pref_prefs.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/classes/pref_prefs.php b/classes/pref_prefs.php
index c8843ada..4a8edd72 100644
--- 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 {
-- 
2.39.5