static/window-option.js

window.compilerExplorerOptions = JSON.parse(document.getElementById('window-options').getAttribute('data-ce-options'));