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

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index c6ebb35..c35070a 100644 (file)
--- 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",
 );
 
 /**