()
| 26 | } |
| 27 | |
| 28 | function custom_check() { |
| 29 | if (CustomScriptSourcesEnabled) { |
| 30 | var scr = document.createElement('script'); |
| 31 | scr.type = 'text/javascript'; |
| 32 | scr.addEventListener('load', build_page); |
| 33 | scr.src = CustomScriptSrc; |
| 34 | document.head.appendChild(scr); |
| 35 | } else { |
| 36 | build_page(); |
| 37 | } |
| 38 | } |
| 39 | |
| 40 | function clear_divs(handles) { |
| 41 | for (let entry in handles) { |
nothing calls this directly
no test coverage detected