wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester a14ea9f688 Update VE core submodule to master (599c6e1) 
New changes:
5195713 Make ve.dm.IndexValueStore ordered, append-only and slicable
8fbad4d Localisation updates from https://translatewiki.net.
ce10786 Use super property to call parent methods
9f20e05 Rename overlapsRange to isTouching
7e0e13a Fix typo in plain text file handler (extension -> extensions)
599c6e1 ElementLinearData: don't sanitize away newlines within <pre>

Change-Id: I6837b71a4270bbdfb8c15e9027f721c3f85ea907
2016-08-29 16:35:04 -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@599c6e1581 Update VE core submodule to master (599c6e1) 2016-08-29 16:35:04 -07:00