git: openjdk/jdk: 8263528: Make static page ids safe from collision with language elements

[Hannes Wallnöfer]

Changeset: d82464f8
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2021-03-25 08:56:49 +0000
URL:       https://git.openjdk.java.net/jdk/commit/d82464f8

8263528: Make static page ids safe from collision with language elements

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlIds.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/Navigation.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlTree.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js.template
! 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/doclet/testStylesheet/TestStylesheet.java