Page MenuHomePhabricator

Convert ArticlePlaceholder to extension.json
Closed, ResolvedPublic

Event Timeline

Florian created this task.Apr 1 2016, 9:02 AM
Restricted Application added a subscriber: Luke081515. · View Herald TranscriptApr 1 2016, 9:02 AM

Change 280825 had a related patch set uploaded (by Florianschmidtwelzow):
Convert extension to extension registration

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

Change 280825 merged by jenkins-bot:
Convert extension to extension registration

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

kaldari removed a subscriber: kaldari.Apr 1 2016, 3:56 PM
Florian closed this task as Resolved.Apr 1 2016, 6:40 PM