[MediaWiki-commits] [Gerrit] Set manifest_version in extension.json - change (mediawiki...WikiEditor)
jenkins-bot has submitted this change and it was merged. Change subject: Set manifest_version in extension.json .. Set manifest_version in extension.json Bug: T100745 Change-Id: I002981d1b755116757a4789fd2f8d198200ab7fc --- M extension.json 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: TheDJ: Looks good to me, approved jenkins-bot: Verified diff --git a/extension.json b/extension.json index 010c2e4..05369a5 100644 --- a/extension.json +++ b/extension.json @@ -419,5 +419,6 @@ }, AutoloadClasses: { WikiEditorHooks: WikiEditor.hooks.php - } + }, + manifest_version: 1 } -- To view, visit https://gerrit.wikimedia.org/r/214521 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I002981d1b755116757a4789fd2f8d198200ab7fc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikiEditor Gerrit-Branch: master Gerrit-Owner: Legoktm legoktm.wikipe...@gmail.com Gerrit-Reviewer: TheDJ hartman.w...@gmail.com Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Set manifest_version in extension.json - change (mediawiki...WikiEditor)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/214521 Change subject: Set manifest_version in extension.json .. Set manifest_version in extension.json Bug: T100745 Change-Id: I002981d1b755116757a4789fd2f8d198200ab7fc --- M extension.json 1 file changed, 2 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikiEditor refs/changes/21/214521/1 diff --git a/extension.json b/extension.json index 010c2e4..05369a5 100644 --- a/extension.json +++ b/extension.json @@ -419,5 +419,6 @@ }, AutoloadClasses: { WikiEditorHooks: WikiEditor.hooks.php - } + }, + manifest_version: 1 } -- To view, visit https://gerrit.wikimedia.org/r/214521 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I002981d1b755116757a4789fd2f8d198200ab7fc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikiEditor Gerrit-Branch: master Gerrit-Owner: Legoktm legoktm.wikipe...@gmail.com ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits