[MediaWiki-commits] [Gerrit] Syncronize VisualEditor: 5ef8131..8805d54 - change (mediawiki/extensions)

2014-05-07 Thread Jenkins-mwext-sync (Code Review)
Jenkins-mwext-sync has uploaded a new change for review. https://gerrit.wikimedia.org/r/132107 Change subject: Syncronize VisualEditor: 5ef8131..8805d54 .. Syncronize VisualEditor: 5ef8131..8805d54 Change-Id: I411589e44de4cd9

[MediaWiki-commits] [Gerrit] Syncronize VisualEditor: 5ef8131..8805d54 - change (mediawiki/extensions)

2014-05-07 Thread Jenkins-mwext-sync (Code Review)
Jenkins-mwext-sync has submitted this change and it was merged. Change subject: Syncronize VisualEditor: 5ef8131..8805d54 .. Syncronize VisualEditor: 5ef8131..8805d54 Change-Id: I411589e44de4cd9b6dcd4548008a9b723348de8b --- M V