wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 01:16:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester d5a8e3c5fc Update VE core submodule to master (80b68df) 
New changes:
c8999f9 Localisation updates from https://translatewiki.net.
bdd56ca Fix padding in format dropdown
02ec278 Add checks to ve.ui.ContextItem#getFragment
5cb437d Localisation updates from https://translatewiki.net.
2a489d7 Make table editing less critically broken in Firefox 39

Change-Id: Icb27e9fa5d6b493c91d19d00ee49da18ef117a94
2015-07-10 10:59: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@80b68df1f7 Update VE core submodule to master (80b68df) 2015-07-10 10:59:32 -07:00