jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344219 )
Change subject: Update VE core submodule to master (0cc3ded3d)
......................................................................
Update VE core submodule to master (0cc3ded3d)
New changes:
9e27aeaed When indexing originalDomElements for ve.dm.Annotations, disregard
child nodes
ce3618d86 DiffElement: Ensure del/ins tags encapsulate annotation changes
0cc3ded3d i18n: Add a default alignment value
Bug: T160839
Change-Id: If8500f521f1347daa87a7583e231c1dcbe1525d5
---
M extension.json
M lib/ve
2 files changed, 2 insertions(+), 1 deletion(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index d00767f..752422d 100644
--- a/extension.json
+++ b/extension.json
@@ -912,6 +912,7 @@
"visualeditor-aliencontextitem-title",
"visualeditor-aliennode-tooltip",
"visualeditor-align-widget-center",
+ "visualeditor-align-widget-default",
"visualeditor-align-widget-left",
"visualeditor-align-widget-right",
"visualeditor-alignablecontextitem-title",
diff --git a/lib/ve b/lib/ve
index f294778..0cc3ded 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit f294778e68810d004208067e3c0310e0b1ef2e2f
+Subproject commit 0cc3ded3de806e9dbf744b6733d2f29aae916904
--
To view, visit https://gerrit.wikimedia.org/r/344219
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If8500f521f1347daa87a7583e231c1dcbe1525d5
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
