From c9042b960f5c7b83a52e3b5c79dab2fed03f27e1 Mon Sep 17 00:00:00 2001
From: Felix Nagel <info@felixnagel.com>
Date: Wed, 18 Dec 2013 20:11:29 +0100
Subject: [PATCH] Selectmenu: fix lint issue

---
 ui/jquery.ui.selectmenu.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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() {