wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../.jsduck
History
Ed Sanders c7221988a1 Update VE core submodule to master (8be817396) 
New changes:
26085a853 Make author list a ListPopupTool
c4ea53eef Update OOjs to v2.1.0
8c94697f3 Update OOjs UI to v0.22.0
cdebc4817 Follow-up 8c94697f: Actually commit the icon changes I had locally
8be817396 Update OOjs UI to v0.22.1

Local changes for author list popup

Change-Id: I36bcaf122528a4a12882aaff3b33ef936082a391
2017-05-31 17:48:45 -07:00
..
categories.json Update VE core submodule to master (8be817396) 2017-05-31 17:48:45 -07:00
CustomTags.rb
eg-iframe.html Update VE core submodule to master (8be817396) 2017-05-31 17:48:45 -07:00
eg-iframe.html.template
external.js Use upstream media search widget from core 2016-11-29 17:19:14 +00:00
mw-categories.json Use list tool group for editor switching 2017-02-28 15:06:48 +00:00