1年半前につくった、ブックマークレット用のスクリプトですが、typeやcharsetを設定したほうが安全なので若干手を入れてみました。
JavaScript
javascript: void((function() { var script = document.createElement('script'); script.setAttribute('type', 'text/javascript'); script.setAttribute('charset', 'UTF-8'); script.setAttribute('src', '実行したいJSファイルのパス'); document.body.appendChild(script); })());
エスケープ & minify するとこんなかんじです。
JavaScript
javascript:void((function()%7Bvar%20s%3Ddocument.createElement(%27script%27)%3Bs.setAttribute(%27type%27,%27text/javascript%27)%3Bs.setAttribute(%27charset%27,%27UTF-8%27)%3Bs.setAttribute(%27src%27,%27実行したいJSファイルのパス%27)%3Bdocument.body.appendChild(s)%3B%7D)())%3B
無事に安全になりました。