Selectmenu: fix lint issue

diff --git a/ui/jquery.ui.selectmenu.js b/ui/jquery.ui.selectmenu.js
index 5990e19100c5ae010b4e47df04368eaf5c7e6cf7..be76601018107ee91de2f70d22cadb7946894520 100644 (file)
--- 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() {