From 8b7b006ca8441f7d8bef8363805e414710c3f2f7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= Date: Sat, 22 Mar 2014 10:00:27 +0000 Subject: [PATCH] Give name for oojs-ui i18n files Even though this shouldn't cause problems with array_merge etc. everything else has a name, so why shouldn't this. Change-Id: Id40d9036c2f3cf89343bcfd14d37a14d4c306d01 --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index c6ebb35ad2..c35070a7dd 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -6020,7 +6020,7 @@ $wgExtensionMessagesFiles = array(); * @since 1.23 */ $wgMessagesDirs = array( - "$IP/resources/oojs-ui/i18n", + 'oojs-ui' => "$IP/resources/oojs-ui/i18n", ); /** -- 2.20.1