Page MenuHomePhabricator

Rename extension.json for client
Closed, ResolvedPublic

Description

i.e. remove "wip"

Event Timeline

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

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