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

Merge "Remove deprecated RESTBase-related VE config settings"

Browse source
This commit is contained in:
jenkins-bot 2023-08-30 16:04:07 +00:00 committed by Gerrit Code Review
parent 40a52535f2 5991d40f11
commit 86f75b341d
1 changed files with 0 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
extension.json
View file

@ -103,22 +103,6 @@
"VisualEditorFeedbackTitle": {
"value": false
},
"VisualEditorFullRestbaseURL": {
"value": false,
"description": "Deprecated since MW 1.41. Unused."
},
"VisualEditorParsoidAutoConfig": {
"value": true,
"description": "Deprecated since MW 1.40. Unused."
},
"VisualEditorDefaultParsoidClient": {
"value": "direct",
"description": "Deprecated since MW 1.41. Unused."
},
"VisualEditorParsoidSettings": {
"value": [],
"description": "Deprecated since MW 1.41. Unused."
},
"VisualEditorPluginModules": {
"value": []
},
@ -131,10 +115,6 @@
"VisualEditorRebaserURL": {
"value": false
},
"VisualEditorRestbaseURL": {
"value": false,
"description": "Deprecated since MW 1.41. Unused."
},
"VisualEditorShowBetaWelcome": {
"value": true
},