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

Wed May 31 21:26:02 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.

This pull request has now been integrated.

Changeset: 09514745
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/09514745fc87d5a212bdf09399aa2045f02b4612
Stats:     80 lines in 3 files changed: 76 ins; 0 del; 4 mod

8309150: Need to escape " inside attribute values

Reviewed-by: prappo

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

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