wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 10:26:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Reduce $wgWikiEditorRealtimeDisableDuration from 10 to 6 seconds

Browse source 
Bug: T304568
Change-Id: I70c7b0e42b47f564ea3106544da0674fa28d1b71
This commit is contained in:
Sam Wilson 2022-04-21 11:10:12 +08:00
parent e0aa0ee307
commit 84b41f07be
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

@ -442,7 +442,7 @@
},
"WikiEditorRealtimeDisableDuration": {
"description": "Average number of milliseconds after which to automatically disable Realtime Preview.",
"value": 10000
"value": 6000
}
},
"manifest_version": 2