jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/360583 )
Change subject: Update VE core submodule to master (a25e5de67) ...................................................................... Update VE core submodule to master (a25e5de67) New changes: 310a7819b Follow-up Id3f663ea6: Use filter function instead of remove c69b19852 Factor out link/style tag filtering into ve.filterMetaElements 6ceab6412 Localisation updates from https://translatewiki.net. 7729b3d64 Follow-up I086d7243: Support placeholder config option for target widget 086e142c3 Fix padding in TargetWidget 211e4be22 Allow multi-line placeholders on ui.Surface's Bug: T168450 Change-Id: I61a0b2f2e62f882d2db36b0cfa9f86a6ea306dc7 --- M lib/ve 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Esanders: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index f2e03ee..a25e5de 160000 --- a/lib/ve +++ b/lib/ve @@ -1 +1 @@ -Subproject commit f2e03ee6f7fe5a3aa12601ee7181840dd1559e16 +Subproject commit a25e5de6740217a0c5f1efedc885815f5af0148f -- To view, visit https://gerrit.wikimedia.org/r/360583 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I61a0b2f2e62f882d2db36b0cfa9f86a6ea306dc7 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Esanders <esand...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits