Translations:Manual:$wgExtensionDirectory/7/fr

Ceci indique où MediaWiki va chercher les extensions sur le serveur lui-même.