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. This pull request has now been integrated. Changeset: 09514745 Author: Jonathan Gibbons <j...@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
