Integrated: 8322708: Global HTML attributes are not allowed

[Nizar Benalla]

On Tue, 11 Jun 2024 11:37:27 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> Can I please get a review for this change, that aims to add support for Global HTML tags.
> Here is the [link](https://cr.openjdk.org/~nbenalla/javadocGlobalPR/pkg1/package-summary.html) to the generated docs.
> Thanks in advance.

This pull request has now been integrated.

Changeset: 5cad0b4d
Author:    Nizar Benalla <nbenalla at openjdk.org>
Committer: Chen Liang <liach at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/5cad0b4df7f5ccb6d462dc948c2ea5ad5da6e2ed
Stats:     262 lines in 4 files changed: 238 ins; 2 del; 22 mod

8322708: Global HTML attributes are not allowed

Reviewed-by: jjg

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

PR: https://git.openjdk.org/jdk/pull/19652