Integrated: 8357376: Disable syntax highlighting for JDK API docs

[Hannes Wallnöfer]

On Wed, 21 May 2025 10:36:58 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a trivial change to disable syntax highlighting in JDK API docs.

This pull request has now been integrated.

Changeset: a07150af
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/a07150af1139b262513a25f4fdd32173af95ff4f
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8357376: Disable syntax highlighting for JDK API docs

Reviewed-by: erikj

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

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