blob: 3dd8f341f1e3affb60814666be080a3477e8bd95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
<!DOCTYPE HTML>
<script src="/common/dispatcher/dispatcher.js"></script>
<script src="event-recorder.js" type="module"></script>
<script src="worker-helper.js" type="module"></script>
<script type="module">
// This is mostly the same as `executor.html`, except for
// `isLoadedFromPushState` is set here, in order to detect whether the page
// was loaded from `executor.html` or `executor-pushstate.html`.
// Full executor functionality is still needed to handle remote script
// execution requests etc.
window.isLoadedFromPushState = true;
</script>
<script src="executor.js" type="module"></script>
<script src="disable_bfcache.js" type="module"></script>
|
