Codex: Use new $wgCodexDevelopmentDir feature
Instead of copying Codex files around, use the new feature in MediaWiki core that allows us to just point to the Codex directory.
Bug: T314507
See patchdemo!45 (merged) for original patch
How to register an account on GitLab. Due to spam, new accounts are locked until approved by an admin or the approver bot. Your GitLab account gets automatically approved within one hour if you are a member of Trusted Contributors in Gerrit, or a member of the Trusted-Contributors group in Phabricator and linked your Developer account to your Phabricator account. If none of these apply, you can file an unlock request to expedite access.
Take the 2024 Developer Satisfaction Survey (privacy statement) to help identify areas for improvement and measure satisfaction within the Wikimedia developer community.
Support: mw:GitLab, how to host a project on GitLab, #wikimedia-gitlab on libera.chat, #GitLab on Phabricator.
Instead of copying Codex files around, use the new feature in MediaWiki core that allows us to just point to the Codex directory.
Bug: T314507
See patchdemo!45 (merged) for original patch