The following pages link to T211046: Rename "JADE" extension to "Jade":
Displayed 8 items.
- T183381: Deploy pilot of Jade to a small set of wikis. (← links)
- T221054: Update all references to "JADE" in codebase and messages to "Jade" (← links)
- T221437: Archive "JADE" extension repository (← links)
- T221053: Move code from "JADE" repository to "Jade" repository (← links)
- T212182: Rename JADE->Jade in beta cluster configuration (← links)
- T212180: Clone gerrit repo mediawiki/extensions/JADE to mediawiki/extensions/Jade (← links)
- T212181: Rename JADE->Jade in continuous integration (← links)
- T221436: GitHub should point to "Jade" and not "JADE" (← links)
