diff options
author | Teddy Wing | 2021-03-21 17:04:03 +0100 |
---|---|---|
committer | Teddy Wing | 2021-03-21 17:45:47 +0100 |
commit | 4b746a7188c6b24ebb00f220067fc1f28c4b2ca9 (patch) | |
tree | 1e6cc03b90f0dbe8547adced3234d7282d36ba85 /peniquitous.user.js | |
parent | 1e7a1cb1bf70736cf1673faa1ebc4119cb058771 (diff) | |
download | Peniquitous-4b746a7188c6b24ebb00f220067fc1f28c4b2ca9.tar.bz2 |
main.js.in: Remove old script insertion code
Remove the old Chrome extension code now that it works as a user script.
Diffstat (limited to 'peniquitous.user.js')
-rw-r--r-- | peniquitous.user.js | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/peniquitous.user.js b/peniquitous.user.js index 5458d7f..1779a8b 100644 --- a/peniquitous.user.js +++ b/peniquitous.user.js @@ -204,10 +204,6 @@ function peniquitous () { s.appendChild( document.createTextNode('(' + script + ')();') ); - // s.src = chrome.extension.getURL(file); - // s.onload = function() { - // this.parentNode.removeChild(this); - // }; document.documentElement.appendChild(s); }); })(); |