wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester a8b4fc4966 Update VE core submodule to master (c8201dd) 
New changes:
ff237d4 Fix z-indexes in core
e88d43e Localisation updates from https://translatewiki.net.
cf61803 Consistently use ve.ui.WindowManager everywhere
f9dfdb8 Update OOjs UI to v0.1.0-pre (23565e7519)
f79f7e3 Update OOjs UI to v0.1.0-pre (8f8896196f)
c8201dd Update OOjs UI to v0.1.0-pre (9ed4cf2557)

Local changes for the breaking change to OptionWidget and sub-classes.

Change-Id: Ife6abd312d4dc97be67cb84eea4cb9c6a0a31b1d
2014-11-21 17:41:04 -08: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@c8201dddc9 Update VE core submodule to master (c8201dd) 2014-11-21 17:41:04 -08:00