$wgExtensionAliasesFiles