Merge "Live Preview: Cope with the edit summary being an OOjs UI widget"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Aug 2017 20:55:58 +0000 (20:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Aug 2017 20:55:58 +0000 (20:55 +0000)
1  2 
resources/Resources.php
resources/src/mediawiki.action/mediawiki.action.edit.preview.js

Simple merge