From 62edd1e8a3fddc0c11b87c87b3e5b404d8e1e395 Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@osmosoft.com>
Date: Sun, 21 Sep 2014 11:25:43 +0100
Subject: [PATCH] Remove support for deprecated "title" attribute on button
 widget

---
 core/modules/widgets/button.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/core/modules/widgets/button.js b/core/modules/widgets/button.js
index fea8403af..21268d7a5 100644
--- a/core/modules/widgets/button.js
+++ b/core/modules/widgets/button.js
@@ -142,13 +142,6 @@ ButtonWidget.prototype.execute = function() {
 	this["class"] = this.getAttribute("class","");
 	this["aria-label"] = this.getAttribute("aria-label");
 	this.tooltip = this.getAttribute("tooltip");
-// DEPRECATION WARNING
-var title = this.getAttribute("title");
-if(title) {
-	console.log("WARNING: attribute 'title' on button widget should be replaced with 'tooltip'");
-	this.tooltip = title;
-}
-
 	this.style = this.getAttribute("style");
 	this.selectedClass = this.getAttribute("selectedClass");
 	this.defaultSetValue = this.getAttribute("default");