diff options
| author | Andrew Dolgov <[email protected]> | 2017-02-10 14:57:25 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2017-02-10 14:57:25 +0300 |
| commit | dc8bd8a640ee7d4508212e12823fc9094258e819 (patch) | |
| tree | 057d321b0a94ef4e74cf16063a2c73efe8f703ef /include | |
| parent | 51198e7e40e4ac72c376baff27e9ec7bb4afab54 (diff) | |
add some print_checkbox/print_button calls; rename some plugin preference pane titles
Diffstat (limited to 'include')
| -rw-r--r-- | include/functions.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/include/functions.php b/include/functions.php index 072779615..cdd783cdc 100644 --- a/include/functions.php +++ b/include/functions.php @@ -667,10 +667,11 @@ print "<input dojoType=\"dijit.form.TextBox\" style=\"display : none\" name=\"$name\" value=\"$value\">"; } - function print_checkbox($id, $checked, $attributes = "") { + function print_checkbox($id, $checked, $value = "", $attributes = "") { $checked_str = $checked ? "checked" : ""; + $value_str = $value ? "value=\"$value\"" : ""; - print "<input dojoType=\"dijit.form.CheckBox\" id=\"$id\" $checked_str $attributes name=\"$id\">"; + print "<input dojoType=\"dijit.form.CheckBox\" id=\"$id\" $value_str $checked_str $attributes name=\"$id\">"; } function print_button($type, $value, $attributes = "") { |