Manual:ManageForeignResources.php/de-formal

Details
manageForeignResources.php is a maintenance script that manages registered with ResourceLoader.

Options/Arguments
Use the update action to download URLs specified in foreign-resources.yaml and unpack them to the resources directory. This will also verify them against the integrity hashes.

Use the verify action to verify that the files currently in the resources directory match what "update" would replace them with. This is effectively a dry run and will not change any module resources on disk.

Use the make-sri action to compute an integrity hash for upstreams that do not publish one themselves. Add or update the URLs in foreign-resources.yaml as needed, but omit (or leave empty) the "integrity" key. Then, run the "make-sri" action for the module, and copy the integrity into the file. Then, you can use "verify" or "update" normally.

/  can be used to specify which extension or skin to update / verify foreign resources for; if neither is used, the script will operate on the foreign resources for MediaWiki core.

Common errors
As of 25 Oct 2021, the module name must be one of:
 * Unknown module name

This probably means the given extension/skin did not set its ForeignResourceDirs attribute.
 * Unknown component&colon;