[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Add missing mediawiki.api dep to extension.json

2016-09-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Add missing mediawiki.api dep to extension.json .. Add missing mediawiki.api dep to extension.json Change-Id: Ie8a823baefe43d40b097e95229f5defa85f4308f

[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Add missing mediawiki.api dep to extension.json

2016-09-16 Thread JGirault (Code Review)
JGirault has uploaded a new change for review. https://gerrit.wikimedia.org/r/311132 Change subject: Add missing mediawiki.api dep to extension.json .. Add missing mediawiki.api dep to extension.json Change-Id: