Integrated: JDK-8263528: Make static page ids safe from collision with language elements
Hannes Wallnöfer
hannesw at openjdk.java.net
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
More information about the javadoc-dev
mailing list