Paladox has uploaded a new change for review.
https://gerrit.wikimedia.org/r/212258
Change subject: Sync extension.json with WikiEditor.php
..
Sync extension.json with WikiEditor.php
* 3cb4714e1546d "Bump version to 0.5.0 to
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
la
Legoktm has uploaded a new change for review.
https://gerrit.wikimedia.org/r/212245
Change subject: Sync extension.json with WikiEditor.php
..
Sync extension.json with WikiEditor.php
* 3cb4714e1546d "Bump version to 0.5.0 to