Page MenuHomePhabricator

Rename extension.json for client
Closed, ResolvedPublic

Description

i.e. remove "wip"

Event Timeline

Tarrow created this task.Jul 8 2020, 1:05 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJul 8 2020, 1:05 PM

Change 611378 had a related patch set uploaded (by Lucas Werkmeister (WMDE); owner: Lucas Werkmeister (WMDE)):
[mediawiki/extensions/Wikibase@master] Rename extension-client-wip.json to extension-client.json

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

Restricted Application added a project: Wikidata. · View Herald TranscriptJul 10 2020, 4:49 PM

Change 611378 merged by jenkins-bot:
[mediawiki/extensions/Wikibase@master] Rename extension-client-wip.json to extension-client.json

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