(target: string, root: Root)
| 85 | } |
| 86 | |
| 87 | function nameMany(target: string, root: Root): Element[] { |
| 88 | return Array.from(root.querySelectorAll('[name="' + target.replace(/\\/g, '\\\\').replace(/"/g, '\\"') + '"]')) |
| 89 | } |
| 90 | |
| 91 | function tagNameMany(target: string, root: Root): Element[] { |
| 92 | if (target === '') { |