Это должен быть простой вопрос, но как определить версию jQuery-UI?
Это для сценария Greasemonkey, и (текущая) целевая страница работает под управлением jQuery-UI, 1.5.2. Но разные целевые страницы могут запускать разные версии.
console.log ($.ui);
не показал ничего полезного/очевидного для определения версии.