jenkins-bot has submitted this change and it was merged.
Change subject: Sync extension.json with WikiEditor.php
......................................................................
Sync extension.json with WikiEditor.php
* 3cb4714e1546d "Bump version to 0.5.0 to reflect massive updates in
last year"
* c9c189fd9d595 "Add dependency on mw.user"
Change-Id: Ic17a7f6a1bf97c955b79c6500ddbec38201aa650
---
M extension.json
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index b7cb391..70aa0ea 100644
--- a/extension.json
+++ b/extension.json
@@ -1,7 +1,8 @@
{
"name": "WikiEditor",
- "version": "0.4.0",
+ "version": "0.5.0",
"author": [
+ "Derk-Jan Hartman",
"Trevor Parscal",
"Roan Kattouw",
"Nimish Gautam",
@@ -344,7 +345,8 @@
"scripts": "ext.wikiEditor.js",
"styles": "ext.wikiEditor.less",
"dependencies": [
- "jquery.wikiEditor"
+ "jquery.wikiEditor",
+ "mediawiki.user"
]
},
"ext.wikiEditor.dialogs": {
--
To view, visit https://gerrit.wikimedia.org/r/212245
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic17a7f6a1bf97c955b79c6500ddbec38201aa650
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: master
Gerrit-Owner: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
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
