mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-23 15:57:15 +00:00
e6b77fb2ab
Store the current state (enabled/disabled) of Realtime Preview in a new user preference `wikieditor-realtimepreview` and set it when enabling or disabling the preview pane. Bug: T294599 Change-Id: Id5f51c6d77ed0077906d5d5178cbfa785cc04dcf |
||
---|---|---|
.. | ||
Hooks.php |