RFR: JDK-8309150: Need to escape " inside attribute values

Wed May 31 07:59:56 UTC 2023

On Tue, 30 May 2023 23:22:53 GMT, Jonathan Gibbons <jjg at 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