Chad has submitted this change and it was merged.

Change subject: Update VE for cherry-pick
......................................................................


Update VE for cherry-pick

New changes:
c122bea Update VE core for cherry-pick
    c48de3e Initialize context's $element as hidden

Change-Id: I51273335758fab2b5a34433896fd9af9e7c18d8a
---
M extensions/VisualEditor
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Chad: Verified; Looks good to me, approved



diff --git a/extensions/VisualEditor b/extensions/VisualEditor
index 2cf0bda..c122bea 160000
--- a/extensions/VisualEditor
+++ b/extensions/VisualEditor
-Subproject commit 2cf0bdae7d859edac05565af66e2fc0d1c151b24
+Subproject commit c122bea00b33fccd4f0013269398a4b9a20131f0

-- 
To view, visit https://gerrit.wikimedia.org/r/173208
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I51273335758fab2b5a34433896fd9af9e7c18d8a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.25wmf8
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to