()
| 58 | } |
| 59 | |
| 60 | function loadGraphSerializerCode() { |
| 61 | let xhr: XMLHttpRequest; |
| 62 | if (!code) { |
| 63 | xhr = new XMLHttpRequest(); |
| 64 | xhr.open('GET', chrome.extension.getURL('/graphSerializer.js'), false); |
| 65 | xhr.send(); |
| 66 | code = xhr.responseText; |
| 67 | } |
| 68 | return code; |
| 69 | } |