Translations:Manual:$wgExtensionFunctions/17/fr

Parce qu'il n'existe pas actuellement d'endroit dédié pour modifier les paramètres, l'accroche $MediaWikiServices est une meilleure option que les fonctions d'extensions.