Integrated: 8345136: Update JDK_DOCS property to point to JDK 23 docs

[Kevin Rushforth]

On Fri, 13 Dec 2024 00:52:00 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> Update the docs bundle to point to the JDK 23 docs (we're currently pointing to JDK 21).
> 
> I will need to also download and host a zip bundle and add its checksum to gradle/verification-metadata.xml to avoid breaking our internal CI build.
> 
> As mentioned in [JDK-8325873](https://bugs.openjdk.org/browse/JDK-8325873) when we updated the docs to use JDK 21, we should do this as a part of updating the boot JDK. To facilitate this, and to move more version number properties to a common place, I will create a new `jdk.docs.version` property in `build.properties` and put it near the `jfx.build.jdk.version` property.
> 
> Both the GHA build and our  CI build are successful.

This pull request has now been integrated.

Changeset: e30d0d54
Author:    Kevin Rushforth <kcr at openjdk.org>
URL:       https://git.openjdk.org/jfx/commit/e30d0d54f4269ffe3a9293fc9604f5467c3b5e37
Stats:     13 lines in 3 files changed: 7 ins; 2 del; 4 mod

8345136: Update JDK_DOCS property to point to JDK 23 docs

Reviewed-by: angorya, sykora, arapte

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

PR: https://git.openjdk.org/jfx/pull/1663