Add more source pragmas

This commit is contained in:
Adrian Vollmer 2022-10-10 17:41:41 +02:00
parent 649324d576
commit 351582e055

View File

@ -23,7 +23,7 @@ var embed_js = function() {
var src = newScript.getAttribute('src');
let [path, get_parameters, anchor] = split_url(src);
path = normalize_path(path);
var src = retrieve_file(path);
var src = retrieve_file(path) + ' //# ' + path;
newScript.appendChild(document.createTextNode(src));
newScript.removeAttribute('src');
oldScript.parentNode.replaceChild(newScript, oldScript);