Translations:Manual:$wgExtensionMessagesFiles/9/en

For setting other variables than $messages, $ExtensionMessagesFiles should still be used.