« MediaWiki:Common.js » : différence entre les versions

MediaWiki:Common.js (voir la source)

18 octets enlevés , 29 août 2023

aucun résumé des modifications

437

modifications

@@ Ligne 7 : / Ligne 7 : @@
 	'section': 'main',
 	'group': 'format',
-	'tools': {
+	tools: {
 		"strikethrough": {
-			'label': 'Barrer',
+			label: 'Barrer',
-			'type': 'button',
+			type: 'button',
-			'icon': wgScriptPath+ '/skins/DarkVector/images/cjnext_toolbar/stroke_icon.png',
+			icon: wgScriptPath+ '/skins/DarkVector/images/cjnext_toolbar/stroke_icon.png',
-			'action': {
+			action: {
-				'type': 'encapsulate',
+				type: 'encapsulate',
-				'options': {
+				options: {
-					'pre': "<s>",
+					pre: "<s>",
-					'post': "</s>"
+					post: "</s>"
 				}
 			}