[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Add missing mediawiki.api dep to extension.json
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
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: