diff options
Diffstat (limited to 'classes/pref_prefs.php')
| -rw-r--r-- | classes/pref_prefs.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/classes/pref_prefs.php b/classes/pref_prefs.php index 57971ccb1..0c343087a 100644 --- a/classes/pref_prefs.php +++ b/classes/pref_prefs.php @@ -464,6 +464,11 @@ class Pref_Prefs extends Protected_Handler { onclick=\"insertSSLserial('')\">" . __('Clear') . "</button>"; + } else if ($pref_name = 'DIGEST_RPEFERRED_TIME') { + print "<input dojoType=\"dijit.form.ValidationTextBox\" + 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 { $regexp = ($type_name == 'integer') ? 'regexp="^\d*$"' : ''; |