RFR: 8322708: Global HTML attributes are not allowed [v5]

[Jonathan Gibbons]

On Fri, 14 Jun 2024 19:16:26 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.
>
> Nizar Benalla has updated the pull request incrementally with one additional commit since the last revision:
> 
>   whitespace

This is good for now.

We might want to work on this more as part of the general evolution for HTML support and DocLint support in JavaDoc.

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

Marked as reviewed by jjg (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/19652#pullrequestreview-2126467283