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

[Jonathan Gibbons]

On Fri, 14 Jun 2024 02:32:16 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

>> Nizar Benalla has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   whitespace
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java line 695:
> 
>> 693:             // custom "data-*" attributes are also accepted
>> 694:             var attrName = name.toString();
>> 695:             if (!attrName.startsWith("on") && !attrName.startsWith("data-")) {
> 
> I've removed the regex here.

the regex wasn't awful, but ok

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

PR Review Comment: https://git.openjdk.org/jdk/pull/19652#discussion_r1645038019