diff --git a/ui/jquery.ui.menu.js b/ui/jquery.ui.menu.js
index 2055f02df..3ea98677e 100644
--- a/ui/jquery.ui.menu.js
+++ b/ui/jquery.ui.menu.js
@@ -33,6 +33,11 @@ $.widget("ui.menu", {
 		this.refresh();
 	},
 	
+	destroy: function() {
+		// TODO implement destroy
+		$.Widget.prototype.apply(this, arguments);
+	},
+	
 	refresh: function() {
 		var self = this;