hg: jdk/jdk15: 8246078: Javadoc Search specification link from Javadoc Help page points to JDK 13 spec

[pavel.rappo at oracle.com]

Changeset: 19d3ed9cc42e
Author:    prappo
Date:      2020-06-19 11:52 +0100
URL:       https://hg.openjdk.java.net/jdk/jdk15/rev/19d3ed9cc42e

8246078: Javadoc Search specification link from Javadoc Help page points to JDK 13 spec
Reviewed-by: jjg

+ src/jdk.javadoc/share/classes/jdk/javadoc/internal/Versions.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HelpWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlConfiguration.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDocletWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/IndexRedirectWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SourceToHTMLConverter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/BaseConfiguration.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java
+ test/langtools/jdk/javadoc/doclet/testHelpPage/TestHelpPage.java