[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: Define explicit default for usecodeeditor

2017-04-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/348065 ) Change subject: Define explicit default for usecodeeditor .. Define explicit default for usecodeeditor Bug: T162877 Change-Id:

[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: Define explicit default for usecodeeditor

2017-04-13 Thread TheDJ (Code Review)
TheDJ has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/348065 ) Change subject: Define explicit default for usecodeeditor .. Define explicit default for usecodeeditor Bug: T162877 Change-Id: I7591ac81e1cf8