Manual:$wgExtensionAliasesFiles/fr
| Cette fonctionnalité a été supprimée entièrement dans la version 1.16.0. |
| Extensions: $wgExtensionAliasesFiles | |
|---|---|
| Aliases for special pages provided by extensions. |
|
| Introduit dans la version : | 1.13.0 (r36631) |
| Retiré dans la version : | 1.16.0 |
| Valeurs autorisées : | (array) |
| Valeur par défaut : | array() |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
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
Since 1.16 Use $specialPageAliases in a file referred to by $wgExtensionMessagesFiles instead of this variable.
| Version de MediaWiki : | ≤ 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';