jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (7f8fae5) ......................................................................
Update VE core submodule to master (7f8fae5) New changes: c758f6d build: Commit sync-gh-pages script 62ef89d ve.ui.SpecialCharacterDialog: Allow encapsulation of selected content 9dd8ad5 Fix getNodeAndOffset for block slugs fa4fdb3 Localisation updates from https://translatewiki.net. 7f8fae5 ve.ui.SpecialCharacterPage: Allow providing a tooltip for characters Change-Id: I5cbd8f6a32d325711f4e8a523d6d0096891ea3fb --- M lib/ve 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Alex Monk: Looks good to me, approved jenkins-bot: Verified diff --git a/lib/ve b/lib/ve index 54819a1..7f8fae5 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 54819a1e247ef85b9028ae0d79d27a9e14c2076e +Subproject commit 7f8fae576a01678b3a757fee7b08ecfae4237136 -- To view, visit https://gerrit.wikimedia.org/r/206010 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5cbd8f6a32d325711f4e8a523d6d0096891ea3fb Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Alex Monk <[email protected]> Gerrit-Reviewer: Esanders <[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
