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

Update VE core submodule to master (a25e5de67)

Browse source 
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
This commit is contained in:
James D. Forrester 2017-06-20 16:47:30 -07:00
parent 87e1ede04a
commit 2b8f22cf31
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 f2e03ee6f7fe5a3aa12601ee7181840dd1559e16
Subproject commit a25e5de6740217a0c5f1efedc885815f5af0148f