mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 08:14:33 +00:00
f1a2ba96eb
$wgWikiEditorRealtimeDisableDuration is introduced which allows sysadmins to control the average time after which Realtime Preview should be disabled. For now, this shows a simple error message that is intentionally not localized. In a future patch, we will force the user into a 'manual preview' workflow. See T304568 for more. Bug: T302282 Change-Id: I2f01eef19fe81c19efedcc0073a28884f0055359 |
||
---|---|---|
.. | ||
Hooks.php |