ブックマークレット

ブックマークにURLを登録する代わりとして、短いJavaScriptのプログラムコードをブックマークすることで、ブラウザに各種機能を追加する一種の拡張機能のことです。