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)
commit1e8f417f3d6d648e19c03465890b58a331514362
tree84d530f8ef5c0767f5a586176fa02fd1752c8ae7
parentfc2380c9d2c708c18fdad4792c8b7b93491ac8b3
parentd4a75173298f719d7dc6b46ef4530b84bcb40a6e
Merge "Live Preview: Cope with the edit summary being an OOjs UI widget"
resources/Resources.php
resources/src/mediawiki.action/mediawiki.action.edit.preview.js