wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 01:46:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../.jsduck
History
James D. Forrester d9739c0b2e Update VE core submodule to master (834fd702f) 
New changes:
86bd6c879 Localisation updates from https://translatewiki.net.
6d7a4cef0 Update OOjs UI to v0.23.0
37d1512a7 TransactionProcessor: modify DM tree branches instead of rebuilding them

Bug: T162762
Bug: T166041
Bug: T167027
Change-Id: Idfaa990dd940e26d7d572513220282bc97ca65fa
2017-09-06 13:44:33 -07:00
..
categories.json Update VE core submodule to master (834fd702f) 2017-09-06 13:44:33 -07:00
CustomTags.rb
eg-iframe.html Update VE core submodule to master (834fd702f) 2017-09-06 13:44:33 -07:00
eg-iframe.html.template build: Bring over eg-iframe fixes from core 2016-11-18 15:17:14 -08:00
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