[go: up one dir, main page]

Jump to content

Manual:$wgExtensionAliasesFiles

From mediawiki.org
Extensions: $wgExtensionAliasesFiles
Aliases for special pages provided by extensions.
Introduced in version:1.13.0 (r36631)
Removed in version:1.16.0
Allowed values:(array)
Default value:array()

Details

[edit]

Aliases for special pages provided by extensions.

Instead of using $wgExtensionAliasesFiles, use $wgExtensionMessagesFiles instead. For an example, see the documentation about setting up a SpecialPage extension.

Prior to 1.16

[edit]

Since 1.16 Use $specialPageAliases in a file referred to by $wgExtensionMessagesFiles instead of this variable.

MediaWiki version:
1.15

Associative array mapping special page to array of aliases. First alternative for each special page will be used as the normalized name for it. English aliases will be added to the end of the list so that they always work. The file must define a variable $aliases.

Example:

$wgExtensionAliasesFiles['Translate'] = __DIR__ . '/Translate.alias.php';