()
| 18 | |
| 19 | |
| 20 | function custom_check() { |
| 21 | if (CustomScriptSourcesEnabled) { |
| 22 | var scr = document.createElement('script'); |
| 23 | scr.type = 'text/javascript'; |
| 24 | scr.addEventListener('load', start_page); |
| 25 | scr.src = CustomScriptSrc; |
| 26 | document.head.appendChild(scr); |
| 27 | } else { |
| 28 | start_page(); |
| 29 | } |
| 30 | } |
| 31 | |
| 32 | function start_page() { |
| 33 | if (CustomScriptSourcesEnabled) { |
nothing calls this directly
no test coverage detected