各種ファイルを簡単にダウンロードするリンクをつける

このスクリプトを入れると、左のような各種リンクが登場します。右クリックから保存可能です。
ちなみに、前回のプレイヤー置き換えをしていないと表示が崩れます。

・・・デザイン？お、お好きなように自分でカスタマイズしてください！

var BaseFLVPath;
function AddDownloadLink()
{
		if(BaseFLVPath == undefined)
		{
		if($e("//param[@name='FlashVars']").snapshotLength != 0)
		{
			BaseFLVPath = unescape($e("//param[@name='FlashVars']").snapshotItem(0).value.split("video=")[1]);
		}
		}
		var flv = BaseFLVPath;
		var path = new Array();
		path["FLV"] = flv;
		path["ppm"] = flv.replace("flv","ppm").replace("flv","ppm");
		path["3gp"] = flv.replace("flv","3gp").replace("flv","3gp");
		path["3g2"] = flv.replace("flv","3g2").replace("flv","3g2");
		path["GIF"] = flv.replace("/flv/","/thumbnail/").replace(".flv","_asx.gif");
		
		var ul = document.createElement("ul");
		ul.style.cssText = "float:right;";
		for( var name in path )
		{
			var li = document.createElement("li");
			var a = document.createElement("a");
			a.href = path[name];
			a.textContent = name;
			li.appendChild(a);
			ul.appendChild(li);
			li.style.cssText = "background-color:#FFA;border:2px white dotted";
		}
		$e("id('main')/div[@class='box screen']/div[@class='box-container']").snapshotItem(0).appendChild(ul);
}



以下の部分を書き換えてください。
・プレイヤーの置き換えで、unescape関数で取得しているFLVのパスをBaseFLVPathに代入
・プレイヤーの指定をして、追加をする前に以下の一文を加えてください。
player.style.cssText = "display:inline";

JWPlayerに置き換えたくない人もいますよね・・・

また今度、下にダウンロードリンクを並べるバージョンを作りますです。はい。

Version 0.1.6.0インストール

メモページ以外を開いたときにエラーが出るのを修正しました。修正版 0.1.6.1.user.js