[jdk23] Withdrawn: 8322708: Global HTML attributes are not allowed

[Nizar Benalla]

On Thu, 20 Jun 2024 12:22:14 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> This is a clean backport of #19652 and commit 5cad0b4df7f5ccb6d462dc948c2ea5ad5da6e2ed. Allowing the use of global HTML attributes in javadoc.
> 
> I used the `/backport` command but also manually created a backport of the issue in JBS, I hope that's fine.

This pull request has been closed without being integrated.

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

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