Page MenuHomePhabricator

Create a basic extension.json file and a new wikipage for the IP Info extension
Closed, ResolvedPublic3 Estimated Story Points

Description

Create a basic extension.json file and a new wikipage for the IP Info extension on MediaWiki.org

Event Timeline

Niharika triaged this task as Medium priority.Aug 26 2020, 4:45 PM

Change 623427 had a related patch set uploaded (by Tchanders; owner: Tchanders):
[mediawiki/extensions/IPInfo@master] Add extension.json and other required files

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

Change 623433 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[integration/config@master] layout: Install CI for mediawiki/extensions/IPInfo

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

Change 623433 merged by jenkins-bot:
[integration/config@master] layout: Install CI for mediawiki/extensions/IPInfo

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

Mentioned in SAL (#wikimedia-releng) [2020-08-31T17:54:13Z] <James_F> Zuul: Install CI for mediawiki/extensions/IPInfo T260609

Change 623427 merged by jenkins-bot:
[mediawiki/extensions/IPInfo@master] Add extension.json and other required files

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