wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
Roan Kattouw c4b7d2ca95 Update VE core submodule to master (c6085d9) 
New changes:
449ecfa Fix check for left/right annotations
41d85fd Label 'insert' buttons with just "Insert" instead of varying by content

Local changes:
* Add new message to VisualEditor.php

Change-Id: I61fe1bc0fd4d7ac1736f1b182b54a631bcad10ed
2014-08-20 14:11:46 -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@c6085d9dc7 Update VE core submodule to master (c6085d9) 2014-08-20 14:11:46 -07:00