Merge "Update documentation for $wgExtensionMessagesFiles"