wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 02:38:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bump version number

Browse source 
Change-Id: I382aee3563cdcccd2f872c0f1b0ebd0feff6859c
This commit is contained in:
Ed Sanders 2020-05-20 13:11:29 +01:00
parent 70a7f8775b
commit df639d1717
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -1,6 +1,6 @@
{
"name": "VisualEditor",
"version": "0.1.1",
"version": "0.1.2",
"author": [
"Alex Monk",
"Bartosz Dziewoński",