[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 --- M extension.json 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extension.json b/extension.json index 46f3284..a56ab62 100644 --- a/extension.json +++ b/extension.json @@ -159,6 +159,7 @@ }, "ext.kartographer.box": { "dependencies": [ + "mediawiki.api", "mediawiki.Uri", "oojs-ui.styles.icons-media", "mapbox", @@ -245,6 +246,9 @@ ] }, "ext.kartographer.editing": { + "dependencies": [ + "mediawiki.api" + ], "scripts": [ "modules/editing/editing.js" ], -- To view, visit https://gerrit.wikimedia.org/r/311132 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie8a823baefe43d40b097e95229f5defa85f4308f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Kartographer Gerrit-Branch: master Gerrit-Owner: JGirault Gerrit-Reviewer: MaxSem Gerrit-Reviewer: Yurik Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[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: Ie8a823baefe43d40b097e95229f5defa85f4308f --- M extension.json 1 file changed, 4 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Kartographer refs/changes/32/311132/1 diff --git a/extension.json b/extension.json index 46f3284..a56ab62 100644 --- a/extension.json +++ b/extension.json @@ -159,6 +159,7 @@ }, "ext.kartographer.box": { "dependencies": [ + "mediawiki.api", "mediawiki.Uri", "oojs-ui.styles.icons-media", "mapbox", @@ -245,6 +246,9 @@ ] }, "ext.kartographer.editing": { + "dependencies": [ + "mediawiki.api" + ], "scripts": [ "modules/editing/editing.js" ], -- To view, visit https://gerrit.wikimedia.org/r/311132 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ie8a823baefe43d40b097e95229f5defa85f4308f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Kartographer Gerrit-Branch: master Gerrit-Owner: JGirault ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits