Manual:$wgExtensionAssetsPath/de-formal

Details
URL to extensions directory, defaults to "{ }/extensions".

Used to provide a base URL for extension assets like extension-specific images and scripts. Note the difference between  (points to the extensions directory on the server filesystem) and   (points to the URL of the extensions directory).