equal
deleted
inserted
replaced
89 if (/\.png/.test(a[0].href)) m.push(a[0].replace(/.png/,''));*/ |
89 if (/\.png/.test(a[0].href)) m.push(a[0].replace(/.png/,''));*/ |
90 |
90 |
91 var resp = xml.responseText; |
91 var resp = xml.responseText; |
92 var r = />([^<]*).png</g; |
92 var r = />([^<]*).png</g; |
93 var x; |
93 var x; |
94 while(x = r.exec(resp)) masks.push(x[1]); |
94 while(x = r.exec(resp)) |
|
95 if (!/^Team|NoHat/.test(x[1])) // Exclude team coloured ones as repetitive, NoHat one as uninteresting |
|
96 masks.push(x[1]); |
95 |
97 |
96 var opt = document.createElement("option"); |
98 var opt = document.createElement("option"); |
97 opt.appendChild(document.createTextNode("")); |
99 opt.appendChild(document.createTextNode("")); |
98 var sel = document.body.appendChild(document.createElement("select")); |
100 var sel = document.body.appendChild(document.createElement("select")); |
99 sel.onchange = switchTheme; |
101 sel.onchange = switchTheme; |