From a6290b25ed718f97814d9ff828d1dba246d96eb2 Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Thu, 26 Jul 2007 11:05:47 +0000
Subject: [PATCH] Adding "thumb" to the image editbutton. In this way it's
 mainly used. Per suggestion of Denis Barthel (de.wp)

---
 includes/EditPage.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 7a2a498146..328cf7515f 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -1703,7 +1703,7 @@ END
 			array(	'image'	=> 'button_image.png',
 				'id'	=> 'mw-editbutton-image',
 				'open'	=> '[['.$wgContLang->getNsText(NS_IMAGE).":",
-				'close'	=> ']]',
+				'close'	=> '|thumb]]',
 				'sample'=> wfMsg('image_sample'),
 				'tip'	=> wfMsg('image_tip'),
 				'key'	=> 'D'
-- 
2.20.1