This page is a translated version of the page Manual:$wgExtensionDirectory and the translation is 30% complete.
Server URLs and file paths: $wgExtensionDirectory
The file system path to the extensions directory.
Introducido en la versión:1.25.0 (Gerrit change 209216; git #cf2678e2)
Eliminado en la versión:aún se usa
Valores permitidos:(relative path)
Valor predeterminado:null (1.38+)
"{$IP }/extensions" (1.25-1.37)


The file system path to the extensions directory (relative path). This controls where MediaWiki will look for extensions on the server itself.

This is set to "{$IP}/extensions" by Setup.php before loading local settings.

Véase también