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
editIf 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.