Cela devrait être une question facile, mais comment détecter la version jQuery-UI?
Il s'agit d'un script Greasemonkey et la page cible (actuelle) semble exécuter jQuery-UI, 1.5.2. Mais, différentes pages cibles peuvent exécuter différentes versions.
console.log ($.ui);
n'a montré rien d'utile / évident pour la détection de version.