hg: jdk/jdk: 8245981: Upgrade to jQuery 3.5.1

[pavel.rappo at oracle.com]

Changeset: f8413c49cc1d
Author:    prappo
Date:      2020-06-05 15:03 +0100
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/f8413c49cc1d

8245981: Upgrade to jQuery 3.5.1
Reviewed-by: hannesw

! 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/script-dir/jquery-3.4.1.js
- src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-3.4.1.min.js
+ src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-3.5.1.js
+ src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/script-dir/jquery-3.5.1.min.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocPaths.java
! src/jdk.javadoc/share/legal/jquery.md
! test/langtools/jdk/javadoc/doclet/testSearch/TestSearch.java
! test/langtools/jdk/javadoc/tool/api/basic/APITest.java