Update jQuery UI to 1.12.1 (#31887).

Patch by Marius BALTEANU.


git-svn-id: http://svn.redmine.org/redmine/trunk@19783 e93f8b46-1217-0410-a6f0-8f06a7374b81

public/javascripts/jstoolbar/jstoolbar.js

@@ -456,7 +456,8 @@ jsToolBar.prototype.precodeMenu = function(fn){
   var hlLanguages = window.userHlLanguages;
   var menu = $("<ul style='position:absolute;'></ul>");
   for (var i = 0; i < hlLanguages.length; i++) {
-    $("<li></li>").text(hlLanguages[i]).appendTo(menu).mousedown(function(){
+    var langItem = $('<div></div>').text(hlLanguages[i]);
+    $("<li></li>").html(langItem).appendTo(menu).mousedown(function(){
       fn($(this).text());
     });
   }

public/stylesheets/application.css

@@ -1450,7 +1450,6 @@ td.gantt_selected_column .gantt_hdr,.gantt_selected_column_container {
 .ui-tooltip {
   background: #000;
   color: #fff;
-  font-size: 0.9em;
   border-radius: 3px;
   border: 0;
   box-shadow: none
@@ -1633,10 +1632,21 @@ color: #555; text-shadow: 1px 1px 0 #fff;
 img.filecontent.image {background-image: url(../images/transparent.png);}
 
 /* Custom JQuery styles */
-.ui-datepicker-title select {width:70px !important; margin-top:-2px !important; margin-right:4px !important;}
-.ui-menu.ui-widget-content {background:#fff;}
-.ui-menu .ui-menu-item:hover {font-weight:normal; background:#759FCF; color:#fff !important; border:1px solid #759FCF;}
-.ui-menu .ui-menu-item.ui-state-focus {font-weight:normal; color:#555; border-color:#759FCF;}
+.ui-autocomplete, .ui-menu {
+  border-radius: 2px;
+  border: 1px solid #ccc;
+}
+.ui-autocomplete .ui-menu-item > div, .ui-menu .ui-menu-item > div {
+  padding: 4px 8px;
+}
+.ui-state-active, .ui-widget-content .ui-state-active, .ui-widget-header .ui-state-active {
+  border-color: #759FCF;
+  background: #759FCF;
+}
+.ui-widget-overlay {
+    background: #000;
+    opacity: 70%;
+}
 
 /* Custom tribute styles */
 .tribute-container ul {