Manual:$wgCodexDevelopmentDir

ResourceLoader: $wgCodexDevelopmentDir
If this is set, MediaWiki will look for Codex files in this directory instead of in resources/lib/codex/ and friends.
Introduced in version:1.43.0 (Gerrit change 1028357; git #8a39d831)
Removed in version:Still in use
Allowed values:Unspecified
Default value:null

Details

If this is set, MediaWiki will look for Codex files in this directory instead of in resources/lib/codex/ and friends.

To use a local development version of Codex, set this to the full file path of the root directory of a local clone of the Codex repository, and run npm run build-all in the Codex root directory. Rerun this command after making any changes.

This should be disabled for production installations.