From: Felix Nagel <info@felixnagel.com>
Date: Wed, 18 Dec 2013 19:11:29 +0000 (+0100)
Subject: Selectmenu: fix lint issue
X-Git-Tag: 1.11.0-beta.1~128
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=c9042b960f5c7b83a52e3b5c79dab2fed03f27e1;p=jquery-ui.git

Selectmenu: fix lint issue
---

diff --git a/ui/jquery.ui.selectmenu.js b/ui/jquery.ui.selectmenu.js
index 5990e1910..be7660101 100644
--- a/ui/jquery.ui.selectmenu.js
+++ b/ui/jquery.ui.selectmenu.js
@@ -162,7 +162,7 @@ $.widget( "ui.selectmenu", {
 
 		this.menuInstance._isDivider = function() {
 			return false;
-		}
+		};
 	},
 
 	refresh: function() {