wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 10:26:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Sync extension.json with WikiEditor.php

Browse source 
* 3cb4714e15 "Bump version to 0.5.0 to reflect massive updates in
last year"
* c9c189fd9d "Add dependency on mw.user"

Change-Id: Ic17a7f6a1bf97c955b79c6500ddbec38201aa650
This commit is contained in:
Kunal Mehta 2015-05-19 20:36:36 -07:00
parent db01dac77f
commit a5032b1336
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
extension.json
View file

@ -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": {