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 (2da36280a)

Browse source 
New changes:
ca588de0d CommentAnnotation: Make deleteable
02eb9e835 Synchronizer: Fix defaultName config
4101ca058 Add removeEmptyLastChildOnEnter to CheckListNode
080317f9f CheckListNode: Flip margins based on content direction
df1dbd0c4 Localisation updates from https://translatewiki.net.
a55f5d7d9 Make undo concurrency-aware

Bug: T185706
Change-Id: Id2b993eb6efcb0dde0c7d1ea1fc6a6cf91bc0e43
This commit is contained in:
James D. Forrester 2019-06-04 15:57:46 -07:00
parent 742564d1d2
commit 65edcaf631
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 53e69bf14cc60812933a1d156d5ab49f048659ef
Subproject commit 2da36280a779b304b250b05e0fb9517ca758f920