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);  	});  })(); | 
