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. |
|
導入されたバージョン: | 1.43.0 (Gerrit change 1028357; git #8a39d831) |
除去されたバージョン: | 使用中 |
許容される値: | 未指定 |
既定値: | null |
その他の設定: アルファベット順 | 機能順 |
詳細
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.