wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester 719acdb42f Update VE core submodule to master (a96cb00) 
New changes:
c66e7a8 Update oo#compare usages
bbff57b Followup 8c71904: use getter for availableTools
f9587e8 Add myself to AUTHORS.txt
ffc9358 Localisation updates from https://translatewiki.net.
1025f3b Fix JS error in ce.LanguageAnnotation when dir is set but lang isn't
4ad483f Check IME simulations actually fail as expected
aaa991a Followup bbff57b, 8c71904: use getter for availableTools, again

Change-Id: I5bfa1201f38f2b86234535ed97a1c394d9cf8e58
2014-08-26 09:59:48 -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@a96cb00069 Update VE core submodule to master (a96cb00) 2014-08-26 09:59:48 -07:00