| <!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> |