mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 08:14:33 +00:00
4f8ad57aaf
The search-replace box in WikiEditor was blacklisted entirely from MSIE, although it appears to work fine in IE 11 on Windows 8.1 and Windows 10 Tech Preview. IE/Spartan team specifically requested a fix for this bug; looks like it's an easy case of adjusting the blacklist with a version component... (Note that in RTL the dialog positioning is bad, but that affects other WikiEditor dialogs too.) Bug: T88875 Change-Id: I4cf1eb76cc8a788cab233fe9ed04aaeba4af5725 |
||
---|---|---|
i18n | ||
modules | ||
tests | ||
.gitignore | ||
.gitreview | ||
.jshintrc | ||
composer.json | ||
COPYING | ||
README | ||
WikiEditor.hooks.php | ||
WikiEditor.i18n.php | ||
WikiEditor.php |
# WikiEditor provides enhancements to the MediaWiki edit page # This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader. # Example LocalSettings.php additions require_once( "$IP/extensions/WikiEditor/WikiEditor.php" ); # Before configuring this extension, see WikiEditor.php and become familiar with the initial state and structure of the # $wgWikiEditorFeatures configuration variable. Essentially it's an array of arrays, keyed by feature name, each # containing global and user keys with boolean values. "global" indicates that it should be turned on for everyone # always, while user indicates that users should be allowed to turn it on or off in their user preferences. # To enable a preference by default but still allow users to disable it in preferences, use something like... $wgDefaultUserOptions['usebetatoolbar'] = 1; $wgDefaultUserOptions['usebetatoolbar-cgd'] = 1; # Release 1.21 removes the $wgWikiEditorToolbarClickTracking config variable # and with it support for tracking clicks on WikiEditor features via the # ClickTracking extension.