jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master ......................................................................
Update VE core submodule to master New changes: 16eb2e2 Script to update the oojs-ui and oojs distributions b20be0b Fix exception thrown by findEndOfNode af4f8f1 Fix Document#selectNodes error documentation 37ace2e Update OOjs to v1.0.6-pre (e284c5fed7) 2eb5927 Add internalList nodes to example data 461deca Fix up result of selectNodes 34fe23e Protect RDFa attributes from obliteration 4d562ec Resolve URLs against correct document when copying. bc5be2a Adding a MediaSizeWidget Change-Id: I903cd23a5244766df714ffd3232de1a031472c2a --- M lib/ve 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 995468c..774f566 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 995468c4d202fa5389ba730e70f706519239c0c4 +Subproject commit 774f5661982973e172385f750423f4ce08fdaa4a -- To view, visit https://gerrit.wikimedia.org/r/109038 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I903cd23a5244766df714ffd3232de1a031472c2a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Catrope <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
