wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-12 17:18:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../lib
History
James D. Forrester 4c047bd701 Update VE core submodule to master (81bbd2732) 
New changes:
62e47b56c Remove icon padding from format tools in WMUI
22a79c1d5 Localisation updates from https://translatewiki.net.
81bbd2732 Follow-up I2be081c76: Fix drop bugs

Bug: T191103
Change-Id: Ia6d8a63c6aeb79c350cdb98b8f6a7836aff62609
2018-04-03 10:24:19 -07:00
..
Easy-Deflate Remove unused polyfills from EasyDeflate lib 2017-09-15 15:57:55 +01:00
ve@81bbd27329 Update VE core submodule to master (81bbd2732) 2018-04-03 10:24:19 -07:00