Skip to content

Codex: Use new $wgCodexDevelopmentDir feature

Catrope requested to merge codex-development-dir into master

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

Merge request reports