bookmarklets: cleanup

1 files changed, 5 insertions, 1 deletions

diff --git a/include/controls.php b/include/controls.php
index d8506877b..a60b1e0b0 100755
--- a/include/controls.php
+++ b/include/controls.php
@@ -23,7 +23,7 @@
    }
 
    function button_tag(string $value, string $type, array $attributes = []) {
-      return "<button dojoType=\"dijit.form.Button\" ".attributes_to_string($attributes)." type=\"$type\">".htmlspecialchars($value)."</button>";
+      return "<button dojoType=\"dijit.form.Button\" ".attributes_to_string($attributes)." type=\"$type\">$value</button>";
    }
 
    function submit_tag(string $value, array $attributes = []) {
@@ -34,6 +34,10 @@
       return button_tag($value, "", array_merge(["onclick" => "App.dialogOf(this).hide()"], $attributes));
    }
 
+   function icon(string $icon, array $attributes = []) {
+      return "<i class=\"material-icons\" ".attributes_to_string($attributes).">$icon</i>";
+   }
+
    function select_tag(string $name, $value, array $values, array $attributes = [], string $id = "") {
       $attributes_str = attributes_to_string($attributes);
       $dojo_type = strpos($attributes_str, "dojoType") === false ? "dojoType='fox.form.Select'" : "";