From 139496209f92d229feadf5c2883edec9090c0a0a Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@osmosoft.com>
Date: Tue, 21 Apr 2015 19:29:54 +0100
Subject: [PATCH] Add support for custom elements to the button widget

---
 core/modules/widgets/button.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/core/modules/widgets/button.js b/core/modules/widgets/button.js
index de839977a..bdab256d6 100644
--- a/core/modules/widgets/button.js
+++ b/core/modules/widgets/button.js
@@ -34,7 +34,11 @@ ButtonWidget.prototype.render = function(parent,nextSibling) {
 	this.computeAttributes();
 	this.execute();
 	// Create element
-	var domNode = this.document.createElement("button");
+	var tag = "button";
+	if(this.buttonTag && $tw.config.htmlUnsafeElements.indexOf(this.buttonTag) === -1) {
+		tag = this.buttonTag;
+	}
+	var domNode = this.document.createElement(tag);
 	// Assign classes
 	var classes = this["class"].split(" ") || [],
 		isPoppedUp = this.popup && this.isPoppedUp();
@@ -163,6 +167,7 @@ ButtonWidget.prototype.execute = function() {
 	this.style = this.getAttribute("style");
 	this.selectedClass = this.getAttribute("selectedClass");
 	this.defaultSetValue = this.getAttribute("default");
+	this.buttonTag = this.getAttribute("tag");
 	// Make child widgets
 	this.makeChildWidgets();
 };