wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 02:38:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Change default value of VisualEditorEnableVisualSectionEditing to 'mobile'"

Browse source
This commit is contained in:
jenkins-bot 2020-07-06 19:50:46 +00:00 committed by Gerrit Code Review
parent 2a581819ec 4000d4fd78
commit 93cc9bcdd6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -81,7 +81,7 @@
"value": false
},
"VisualEditorEnableVisualSectionEditing": {
"value": false
"value": "mobile"
},
"VisualEditorUseSingleEditTab": {
"value": false