This should be an easy question, but how do I detect the jQuery-UI version?
This is for a Greasemonkey script and the (current) target page appears to be running jQuery-UI, 1.5.2. But, different target pages may run different versions.
console.log ($.ui); did not show anything useful/obvious for version detection.