wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 14:33:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update VE core submodule to master (aaa8547)

Browse source 
New changes:
04d9484 Update OOjs UI to v0.1.0-pre (9aad824bd6)
981d86f Correctly update full size in MediaSizeWidget
e935a9f Demo page styling
e7b0557 FocusableNode: Use getClientRects()[0] instead of getBoundingClientRect()
7e7d5c1 Only allow slugs where paragraphs are allowed
8653a84 Localisation updates from https://translatewiki.net.
aaa8547 Update OOjs UI to v0.1.0-pre (b9d403a678)

Change-Id: Iaff1cda5605a397b78590c4f9b66d1e4d4d2d564
This commit is contained in:
James D. Forrester 2014-06-26 18:30:08 -07:00
parent b7375cfdaa
commit a70a4828c5
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 000935ef7778d12dd447a5ec19feaa5dbe3a505a
Subproject commit aaa8547394aad145a8d4abbe50e7d54b29b1710d