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