[MediaWiki-commits] [Gerrit] mediawiki...Flow[master]: Remove the old editor system

2018-01-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/398682 ) Change subject: Remove the old editor system .. Remove the old editor system It was no longer used anywhere. This is a

[MediaWiki-commits] [Gerrit] mediawiki...Flow[master]: Remove the old editor system

2017-12-17 Thread Catrope (Code Review)
Catrope has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/398682 ) Change subject: Remove the old editor system .. Remove the old editor system It was no longer used anywhere. This is a relatively minimal