jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (85a059e) ......................................................................
Update VE core submodule to master (85a059e) New changes: 3f5029c Add a secondary label (Edit) to ContextItemWidget 807d377 Update OOjs UI to v0.1.0-pre (cc3c62607c) 45d82b6 Localisation updates from https://translatewiki.net. Change-Id: Ie3104507d188ac8d3c45698bfd345c3c1146a938 --- M VisualEditor.php M lib/ve 2 files changed, 1 insertion(+), 0 deletions(-) Approvals: Esanders: Looks good to me, approved jenkins-bot: Verified diff --git a/VisualEditor.php b/VisualEditor.php index 6ada67e..964eed2 100644 --- a/VisualEditor.php +++ b/VisualEditor.php @@ -598,6 +598,7 @@ 'visualeditor-commentinspector-edit', 'visualeditor-commentinspector-title', 'visualeditor-commentinspector-tooltip', + 'visualeditor-contextitemwidget-label-secondary', 'visualeditor-dialog-action-apply', 'visualeditor-dialog-action-cancel', 'visualeditor-dialog-action-done', diff --git a/lib/ve b/lib/ve index 8f66045..85a059e 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 8f66045160f833df3a2ea382dd8697f9d51e1776 +Subproject commit 85a059e62b47d726573fa59ac6b8d263a5b3f461 -- To view, visit https://gerrit.wikimedia.org/r/159205 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie3104507d188ac8d3c45698bfd345c3c1146a938 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Esanders <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
