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

Thu Mar 25 01:14:49 UTC 2021

On Fri, 12 Mar 2021 15:36:46 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> A simple change to make the HTML ids used for search input and reset button safe from collision with Java elements. The ids are also added th the `HtmlIds` class instead of using strings.

Looks good to me. Nice cleanup.

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

Marked as reviewed by jjg (Reviewer).

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