(html)
| 722 | } |
| 723 | |
| 724 | function initDom(html) { |
| 725 | const { JSDOM } = jsdom; |
| 726 | const dom = new JSDOM(html); |
| 727 | const $ = (require('jquery'))(dom.window); |
| 728 | global.$ = $; |
| 729 | global.document = dom.window.document; |
| 730 | } |
| 731 | |
| 732 | function modifyPage() { |
| 733 | changeMenu(); |