bookmarklet to use an external file code example
Example: bookmarklet external file
javascript:(function(){document.body.appendChild(document.createElement('script')).src='** your external file URL here **';})();
javascript:(function(){document.body.appendChild(document.createElement('script')).src='** your external file URL here **';})();