Manual:$wgExtensionDirectory/de-formal

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