Add missing jquery-ui.min.js for jQuery UI 1.8.14 to appease the jsdelvr bot

So that the 1.11.2 can be added. I guess there is a bug in the bot, but
no harm to add this.