From b67db3be8ef5cc9191c2dbdec8809af38596d06d Mon Sep 17 00:00:00 2001 From: Kevin Israel Date: Thu, 17 Apr 2014 16:46:56 -0400 Subject: [PATCH] Update documentation for $wgExtensionMessagesFiles Follows-up e0043257c02e. Change-Id: Id8212fca83fde09a89891ead1e0a107ff0d66398 --- includes/DefaultSettings.php | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 6c6c3f0a06..c0c2e22e36 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -5979,13 +5979,13 @@ $wgExtensionFunctions = array(); * * Since MediaWiki 1.23, use of this variable to define messages is discouraged; instead, store * messages in JSON format and use $wgMessagesDirs. For setting other variables than - * $messages, $wgExtensionMessagesFiles should still be used. + * $messages, $wgExtensionMessagesFiles should still be used. Use a DIFFERENT key because + * any entry having a key that also exists in $wgMessagesDirs will be ignored. * - * If there is an entry in $wgMessagesDirs with the same key as one in - * $wgExtensionMessagesFiles, then any $messages variables set in the $wgExtensionMessagesFiles file - * will be ignored. This means an extension that only provides messages can be backwards compatible - * by using both $wgExtensionMessagesFiles and $wgMessagesDirs, and only one of the two - * will be used depending on what the version of MediaWiki supports. + * Extensions using the JSON message format can preserve backward compatibility with + * earlier versions of MediaWiki by using a compatibility shim, such as one generated + * by the generateJsonI18n.php maintenance script, listing it under the SAME key + * as for the $wgMessagesDirs entry. * * @par Example: * @code -- 2.20.1