git: openjdk/jdk: 8286832: JavaDoc pages call browser history API too often

Mon May 23 20:12:09 UTC 2022

Changeset: 6a192206
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2022-05-23 20:10:46 +0000
URL:       https://git.openjdk.java.net/jdk/commit/6a192206b820bc22a2f143fa4631e3d707d6fa7c

8286832: JavaDoc pages call browser history API too often

Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js