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

Remove deprecated RESTBase-related VE config settings

Browse source 
Bug: T341618
Change-Id: Id114ad15d264416ac13915d7fac27992d8ef05b6
This commit is contained in:
Bartosz Dziewoński 2023-08-30 17:11:04 +02:00
parent 2c1989c338
commit 5991d40f11
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
},