From 961a144dac1558690e76693d47b5dd231e864ef2 Mon Sep 17 00:00:00 2001
From: Arne Heizmann <timwi@users.mediawiki.org>
Date: Sat, 17 Jul 2004 17:08:06 +0000
Subject: [PATCH] Distinguish between short and long name of month 'May'

---
 languages/Language.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/languages/Language.php b/languages/Language.php
index 84f483fbd4..31f3af6b60 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -136,7 +136,7 @@ $wgLanguageNamesEn =& $wgLanguageNames;
 
 
 /* private */ $wgMonthNamesEn = array(
-	'january', 'february', 'march', 'april', 'may', 'june',
+	'january', 'february', 'march', 'april', 'may_long', 'june',
 	'july', 'august', 'september', 'october', 'november',
 	'december'
 );
@@ -207,7 +207,7 @@ $wgLanguageNamesEn =& $wgLanguageNames;
 /* private */ $wgAllMessagesEn = array(
 
 # dates
-'sunday' => 'Sunday', 
+'sunday' => 'Sunday',
 'monday' => 'Monday',
 'tuesday' => 'Tuesday',
 'wednesday' => 'Wednesday',
@@ -218,7 +218,7 @@ $wgLanguageNamesEn =& $wgLanguageNames;
 'february' => 'February',
 'march' => 'March',
 'april' => 'April',
-'may' => 'May',
+'may_long' => 'May',
 'june' => 'June',
 'july' => 'July',
 'august' => 'August',
-- 
2.20.1