wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester 71bb01a8de Update VE core submodule to master (cfd855e) 
New changes:
21bba98 update-oojs-ui.sh: Exclude the minimised distribution files
d9114f9 Update OOjs UI to v0.1.0-pre (48980881f3)
3ebaade Localisation updates from https://translatewiki.net.
2a2e256 Update OOjs UI to v0.1.0-pre (26dadbc60f)
517ebb0 Emit change event when dimensions change in MediaSizeWidget

Change-Id: Id30517765563547df92d2f432307fc7e719d05c8
2014-10-06 15:03:32 -07:00
..
Base64.js Compress HTML data with deflate before POSTing 2014-06-24 17:39:03 +01:00
Easy-Deflate Compress HTML data with deflate before POSTing 2014-06-24 17:39:03 +01:00
ve@cfd855ed06 Update VE core submodule to master (cfd855e) 2014-10-06 15:03:32 -07:00