git: openjdk/jdk17u-dev: 8284367: JQuery UI upgrade from 1.12.1 to 1.13.1

[Goetz Lindenmaier]

Changeset: b7d808e9
Author:    Goetz Lindenmaier <goetz at openjdk.org>
Date:      2022-06-22 10:50:17 +0000
URL:       https://git.openjdk.org/jdk17u-dev/commit/b7d808e96b68e1a648a74b5c1666304f58c347a0

8284367: JQuery UI upgrade from 1.12.1 to 1.13.1

Reviewed-by: mdoerr
Backport-of: ac41b78cfbb94f0b0e9a15cfcc50bdddc43811e9

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDoclet.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/jquery-ui.overrides.css
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-ui.css
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-ui.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-ui.min.css
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-ui.min.js
- src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-ui.structure.css
- src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-ui.structure.min.css
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
! test/langtools/jdk/javadoc/doclet/testSearch/TestSearch.java
! test/langtools/jdk/javadoc/tool/api/basic/APITest.java