Merge "Give name for oojs-ui i18n files"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 22 Mar 2014 17:18:39 +0000 (17:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 22 Mar 2014 17:18:39 +0000 (17:18 +0000)
includes/DefaultSettings.php

index c6ebb35..c35070a 100644 (file)
@@ -6020,7 +6020,7 @@ $wgExtensionMessagesFiles = array();
  * @since 1.23
  */
 $wgMessagesDirs = array(
-       "$IP/resources/oojs-ui/i18n",
+       'oojs-ui' => "$IP/resources/oojs-ui/i18n",
 );
 
 /**