「MediaWiki:Vector.js」の版間の差分

削除された内容追加された内容

インライン

2017年12月18日 (月) 14:34時点における版

/* ここに記述したJavaScriptはベクター・スキンの利用者に影響します */

mw.loader.using( 'oojs-ui-core', function(){
	// Force IP to preview before saving changes.
	// Copyright Marc Mongenet, 2006
	if (
		mw.config.get('wgUserName') === null
		&& document.getElementById("wpSave")
		&& location.search.search(/action=edit/) !== -1
	){
		OO.ui.infuse( 'wpSaveWidget' ).setDisabled( true );
	}
});

@@ 1行目: / 1行目: @@
-/*<source lang="javascript">*/
 /* ここに記述したJavaScriptはベクター・スキンの利用者に影響します */
-typeof mw != 'undefined' && (function() {
+mw.loader.using( 'oojs-ui-core', function(){
+	// Force IP to preview before saving changes.
-/* mw に依存する部分の始まり */
+	// Copyright Marc Mongenet, 2006
+	if (
-// Force IP to preview before saving changes.
+		mw.config.get('wgUserName') === null
-// Copyright Marc Mongenet, 2006
+		&& document.getElementById("wpSave")
-window.forcePreview = function()
+		&& location.search.search(/action=edit/) !== -1
-{
+	){
-		var wgUserName = mw.config.get('wgUserName');
+		OO.ui.infuse( 'wpSaveWidget' ).setDisabled( true );
+	}
-        if (wgUserName != null) return;
+});
-        var saveButton = document.getElementById("wpSave");
-        if (!saveButton) return;
-        if (location.search.search(/&action=edit/) == -1) return;
-        saveButton.disabled = true;
-        saveButton.style.fontWeight = "normal";
-        document.getElementById("wpPreview").style.fontWeight = "bold";
-};
-$(forcePreview);
-/* mw に依存する部分の終わり */
-}());
-/*</source>*/