mediawiki-extensions-Visual.../lib
James D. Forrester 8d1d0f19ed Update VE core submodule to master (07e7f8369)
New changes:
2ecae4be0 Revert "Remove icon padding from format tools in WMUI"
fd5798075 Truncate storeLengthAtHistoryLength properly
548566906 Update OOUI to v0.27.0
52048fb87 Localisation updates from https://translatewiki.net.
361d04953 Add a WMUI desktop demo

Bug: T190851
Bug: T194050
Change-Id: I08dc45f796186e216db821e43fa99517636e169d
2018-05-10 08:50:37 -07:00
..
Easy-Deflate Remove unused polyfills from EasyDeflate lib 2017-09-15 15:57:55 +01:00
ve@07e7f83693 Update VE core submodule to master (07e7f8369) 2018-05-10 08:50:37 -07:00