wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 11:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update VE core submodule to master (ca25f72ab)

Browse source 
New changes:
05c815039 Localisation updates from https://translatewiki.net.
729bda459 Focus author widget on popup open
403cbf3c7 Use author name label as placeholder
ffe7cddba Match toolbar border radius to wrapper, instead of using overflow:hidden
642b2a52b Add lowercase description messages for alignment change
0509be7fd Unbreak CSS on standalone rebaser demo
bbf7d1501 Add name to toolgroup definition

Change-Id: If8482f9aaa3dc63d674fa881e263990cc303548a
This commit is contained in:
James D. Forrester 2018-05-15 12:56:47 +01:00
parent b17b28e746
commit 1184f9acf1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit 14bcc925641b955ff18ce84fc8c2d923b4abdf4d
Subproject commit ca25f72abe3b97ea8d85a00a9e05ea007e14a08f