RFR: JDK-8251210: Link JDK api docs to other versions

[Jonathan Gibbons]

On Sat, 6 Mar 2021 13:13:02 GMT, liach <github.com+7806504+liach at openjdk.org> wrote:

> Does this change add the "other versions" text under the current version info? I don't see where the `Other Versions` text (proposed in the original issue) is added. Without that text, imo this utility would be significantly less accessible, as not many people would know this trick by looking at this pull request, the original JDK issue, or by inspecting the html.

No, after offline discussions, we decided to just link the existing text for the short version string, to minimize the disruption to the header. This opens up the possibility of applying a similar change to modify existing published docs in a similar manner, which is the more interesting case.

-------------

PR: https://git.openjdk.java.net/jdk/pull/2854