diff options
| author | Andrew Dolgov <[email protected]> | 2012-01-30 16:34:45 +0400 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2012-01-30 16:34:45 +0400 |
| commit | 61c1812f29dc76e93107b65dea80fde260269e8d (patch) | |
| tree | b87934bbc3be918590daafe959d149d846892ff7 /classes/pref_prefs.php | |
| parent | 33f0fdd0a21ca7999e2d9d1a8db438711e518587 (diff) | |
implement preferred time for sending out digests
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*$"' : ''; |