Rollup merge of #63774 - chocol4te:fix_63707, r=GuillaumeGomez

Fix `window.hashchange is not a function`

Closes #63707.
This commit is contained in:
Mazdak Farrokhzad 2019-09-05 12:11:05 +02:00 committed by GitHub
commit 6da74a2605
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -344,7 +344,7 @@ if (!DOMTokenList.prototype.remove) {
var set_fragment = function(name) {
if (browserSupportsHistoryApi()) {
history.replaceState(null, null, "#" + name);
window.hashchange();
highlightSourceLines(null);
} else {
location.replace("#" + name);
}