mirror of
https://github.com/jquery/jquery-ui.git
synced 2025-01-07 20:34:24 +00:00
Selectmenu: lint fix
This commit is contained in:
parent
67e7f18d08
commit
80d2c1180a