UNPKG

351 BHTMLView Raw
1<script>
2 var ajax = new XMLHttpRequest();
3 ajax.open('GET', '{{SYMBOLS_URL}}', true);
4 ajax.send();
5 ajax.onload = function(e) {
6 if (this.status === 404) {
7 return;
8 }
9 var div = document.createElement('div');
10 div.innerHTML = ajax.responseText;
11 document.body.insertBefore(div, document.body.childNodes[0]);
12 };
13</script>