wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 14:33:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../.jsduck
History
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
..
categories.json Allow ve.ui.MWCategoryInputWidget to use different API 2018-03-19 16:50:27 +01:00
CustomTags.rb Follow-up Ieb4e4eb3: Remove @until jsduck tag 2015-07-30 08:39:45 -07:00
eg-iframe.html Update VE core submodule to master (07e7f8369) 2018-05-10 08:50:37 -07:00
eg-iframe.html.template build: Bring over eg-iframe fixes from core 2016-11-18 15:17:14 -08:00
external.js Allow ve.ui.MWCategoryInputWidget to use different API 2018-03-19 16:50:27 +01:00
mw-categories.json Allow ve.ui.MWCategoryInputWidget to use different API 2018-03-19 16:50:27 +01:00