On Tue, 30 May 2023 23:22:53 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Please review a trivial PR to escape `"` as `"` when writing HTML > attribute values enclosed in `"`. > > A simple test is added, using a `@spec` tag to introduce a user-defined `id`. > > The inverse transformation (from `"` to `"`) needs to be done in the > `HtmlParser` for the `JavadocTester` framework. Aside from the stale copyright years, looks good. ------------- Marked as reviewed by prappo (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/14234#pullrequestreview-1452444657
