Selectmenu: fix lint issue

fnagel · fnagel · commit c9042b960f5c · 2013-12-18T20:11:29.000+01:00
diff --git 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() {
