jenkins-bot has submitted this change and it was merged. Change subject: Update VE core submodule to master (5d94d8b) ......................................................................
Update VE core submodule to master (5d94d8b) New changes: fc3be96 oojs-update.sh: Update to match version of script in mediawiki-core 1031079 update-oojs-ui.sh: Replace target dir instead of adding file copies 08fbae1 Add forgotten OOjs UI i18n files 5d94d8b Localisation updates from https://translatewiki.net. Change-Id: I279d2f4b73134f7c95d8affe4191dc111b901809 --- 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 33ca43b..5d94d8b 160000 --- a/lib/ve +++ b/lib/ve -Subproject commit 33ca43b5582dd1b7e19433644995fe515177ded3 +Subproject commit 5d94d8bd05c80c122452835567382cd5401f850d -- To view, visit https://gerrit.wikimedia.org/r/127664 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I279d2f4b73134f7c95d8affe4191dc111b901809 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/VisualEditor Gerrit-Branch: master Gerrit-Owner: Jforrester <[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
