Page MenuHomePhabricator

Rename JADE->Jade in beta cluster configuration
Open, HighPublic

Description

Fix deprecated extension name in config files, rename to "Jade".

This task is complete when the "Jade" repo is the source of truth used in the beta cluster.

Event Timeline

Change 480284 had a related patch set uploaded (by Awight; owner: Awight):
[operations/mediawiki-config@master] [DNM] Rename JADE to Jade

https://gerrit.wikimedia.org/r/480284

Change 480285 had a related patch set uploaded (by Awight; owner: Awight):
[integration/config@master] [DNM] Rename JADE to Jade

https://gerrit.wikimedia.org/r/480285

awight removed a subscriber: awight.Mar 21 2019, 4:05 PM
Harej assigned this task to Ladsgroup.Fri, Apr 19, 2:06 AM
Restricted Application added a project: User-Ladsgroup. · View Herald TranscriptFri, Apr 19, 2:06 AM
Harej triaged this task as High priority.Fri, Apr 19, 2:09 AM
Harej updated the task description. (Show Details)Fri, Apr 19, 2:20 AM

This needs to be branched out:

ladsgroup@deploy1001:/srv/mediawiki-staging/php-1.34.0-wmf.1/extensions$ ls | grep -i jade
JADE