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 |
| Other settings: Alphabetical | By function | |
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.