From dc8bd8a640ee7d4508212e12823fc9094258e819 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@madoka.volgo-balt.ru>
Date: Fri, 10 Feb 2017 14:57:25 +0300
Subject: add some print_checkbox/print_button calls; rename some plugin
 preference pane titles

---
 include/functions.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'include/functions.php')

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 = "") {
-- 
cgit v1.2.3-54-g00ecf