(code, include)
| 205 | } |
| 206 | |
| 207 | function hasIncludes(code, include) { |
| 208 | if (!include) return code |
| 209 | |
| 210 | let re = /(?:\s|<!--.*?-->)*<script src="([^"]*)"><\/script>/g, m |
| 211 | let found = [] |
| 212 | while (m = re.exec(code)) found.push(m[1]) |
| 213 | return include.every(s => found.indexOf(s) > -1) |
| 214 | } |
| 215 | |
| 216 | function opt(value, label) { |
| 217 | let node = document.createElement("option") |