wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 00:06:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Realtime Preview: enable by default

Browse source 
The Realtime Preview feature is already enabled by default on
Wikimedia wikis, and has been for two months.

Bug: T323329
Bug: T327515
Change-Id: I72ac9a4c83d0e7cccacab576c13c08f33616b696
This commit is contained in:
Sam Wilson 2023-03-21 15:39:38 +08:00
parent ba86c395dd
commit 97f104d58d
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

@ -441,7 +441,7 @@
"config": { "config": {
"WikiEditorRealtimePreview": { "WikiEditorRealtimePreview": {
"description": "Whether to enable the Realtime Preview feature.", "description": "Whether to enable the Realtime Preview feature.",
"value": false "value": true
}, },
"WikiEditorRealtimePreviewDebounce": { "WikiEditorRealtimePreviewDebounce": {
"description": "Debounce time in milliseconds for the Realtime Preview feature.", "description": "Debounce time in milliseconds for the Realtime Preview feature.",