wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 01:16:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../.jsduck
History
Bartosz Dziewoński f8522b7aac Update VE core submodule to master (4922429f7) 
New changes:
4922429f7 Merge all theme overrides into single files

Local changes:
* Update extension.json module definitions for 4922429f7
* Merge all VE-MW theme overrides into single files

Change-Id: Ie8bb4a78c3c50dd4e930f25f6f72bc2f395bd10c
2018-03-28 09:17:12 -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 (4922429f7) 2018-03-28 09:17:12 -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