wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-03 02:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "ExportWikitextDialog: Add explicit editfont dependency"

Browse source
This commit is contained in:
jenkins-bot 2020-07-31 16:40:14 +00:00 committed by Gerrit Code Review
parent b3eca2075e 61edb5c2f7
commit da9b811214
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -520,6 +520,7 @@
], ],
"dependencies": [ "dependencies": [
"mediawiki.widgets", "mediawiki.widgets",
"mediawiki.editfont.styles",
"ext.visualEditor.targetLoader", "ext.visualEditor.targetLoader",
"ext.visualEditor.base", "ext.visualEditor.base",
"ext.visualEditor.mediawiki", "ext.visualEditor.mediawiki",