Manual:$wgCodexDevelopmentDir/ja

Category:MediaWiki configuration settings/ja#CodexDevelopmentDirCategory:MediaWiki configuration settings introduced in version 1.43.0/ja#CodexDevelopmentDirCategory:MediaWiki configuration settings still in use/ja#CodexDevelopmentDirCategory:Resource loader variables/ja#CodexDevelopmentDir
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.

Category:MediaWiki configuration settings/ja Category:MediaWiki configuration settings introduced in version 1.43.0/ja Category:MediaWiki configuration settings still in use/ja Category:Resource loader variables/ja