On Fri, 12 Mar 2021 15:36:46 GMT, Hannes Wallnöfer <hann...@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 <hann...@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