wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (69d8607cf)"

Browse source
This commit is contained in:
jenkins-bot 2017-05-21 10:22:45 +00:00 committed by Gerrit Code Review
parent 578deca159 afa929cc46
commit dc9ef3184b
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -987,6 +987,7 @@
"visualeditor-debugbar-inputdebug", "visualeditor-debugbar-inputdebug",
"visualeditor-debugbar-logrange", "visualeditor-debugbar-logrange",
"visualeditor-debugbar-showmodel", "visualeditor-debugbar-showmodel",
"visualeditor-debugbar-showtransactions",
"visualeditor-debugbar-startfilibuster", "visualeditor-debugbar-startfilibuster",
"visualeditor-debugbar-stopfilibuster", "visualeditor-debugbar-stopfilibuster",
"visualeditor-debugbar-updatemodel", "visualeditor-debugbar-updatemodel",

2
lib/ve

@ -1 +1 @@
Subproject commit 2a8f71d02667a0ef5353b0d748fd6f3fbeb9977b Subproject commit 69d8607cf0b893bb3fc9cb76c4784f21b6932d80