From 4c2c2ef01a6251f68d813977068ce66187c3bef4 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Thiemo=20M=C3=A4ttig?= Date: Mon, 2 Jun 2014 22:49:51 +0200 Subject: [PATCH] Make "mini" the default alias for "thumb" in German It's already "mini" in other languages. The German Wikipedia community (which is obviously not the only German one but the biggest) always complained a bit about the previously used "miniatur". It's German, yes, but error-prone. The solution was to add "mini". Which made most users happy as far as I can tell after all these years. My patch doesn't change anything except for one little detail: The JavaScript call mw.config.get( 'wgWikiEditorMagicWords' ).img_thumbnail which is created in WikiEditorHooks::getMagicWords and used by the WikiEditor extension will return "mini" instead of "miniatur". Change-Id: I4e9ad3f2e56e08eaf3006a1af4b1c9746cd55715 --- languages/messages/MessagesDe.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/languages/messages/MessagesDe.php b/languages/messages/MessagesDe.php index 88803e6841..98f9a3758d 100644 --- a/languages/messages/MessagesDe.php +++ b/languages/messages/MessagesDe.php @@ -202,7 +202,7 @@ $magicWords = array( 'subjectpagenamee' => array( '1', 'HAUPTSEITENNAME_URL', 'VORDERSEITE_URL', 'HAUPTSEITE_URL', 'SUBJECTPAGENAMEE', 'ARTICLEPAGENAMEE' ), 'subst' => array( '0', 'ERS:', 'SUBST:' ), 'safesubst' => array( '0', 'SICHER_ERS:', 'SICHERERS:', 'SAFESUBST:' ), - 'img_thumbnail' => array( '1', 'miniatur', 'mini', 'thumbnail', 'thumb' ), + 'img_thumbnail' => array( '1', 'mini', 'miniatur', 'thumbnail', 'thumb' ), 'img_manualthumb' => array( '1', 'miniatur=$1', 'mini=$1', 'thumbnail=$1', 'thumb=$1' ), 'img_right' => array( '1', 'rechts', 'right' ), 'img_left' => array( '1', 'links', 'left' ), -- 2.20.1