()
| 28 | var currentPort = 0; |
| 29 | |
| 30 | function custom_check() { |
| 31 | if (CustomScriptSourcesEnabled) { |
| 32 | var scr = document.createElement('script'); |
| 33 | scr.type = 'text/javascript'; |
| 34 | scr.addEventListener('load', build_page); |
| 35 | scr.src = CustomScriptSrc; |
| 36 | document.head.appendChild(scr); |
| 37 | } else { |
| 38 | build_page(); |
| 39 | } |
| 40 | } |
| 41 | |
| 42 | function build_page() { |
| 43 | var path = window.location.pathname; |
nothing calls this directly
no test coverage detected