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

Thu Mar 25 09:00:43 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.

This pull request has now been integrated.

Changeset: d82464f8
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/d82464f8
Stats:     21 lines in 7 files changed: 2 ins; 0 del; 19 mod

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

Reviewed-by: jjg

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

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