hg: jdk/sandbox: 8249133: Javadoc: Browser back navigation does not jump to previous position anymore

[chris.hegarty at oracle.com]

Changeset: f8431772cb1f
Author:    hannesw
Date:      2020-07-17 12:54 +0200
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/f8431772cb1f

8249133: Javadoc: Browser back navigation does not jump to previous position anymore
Reviewed-by: jjg

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