mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-25 11:18:35 +00:00
27013f26e5
Right now, the Special Characters interface in WikiEditor shows all characters in a monospace font which makes it especially difficult to distinguish the different dash characters. The solution implemented in this change is to add title tooltips to the following characters: en dash, em dash, minus sign. The title tooltips are localizable and can be added to any other characters as needed. If we eventually want to add title tooltips to all the characters, we should come up with a config shortcut like we're using for Hebrew vowels. Change-Id: I7eb207acda045a868ec4c625c39bfd3d1f78ea17 |
||
|---|---|---|
| modules | ||
| tests/selenium | ||
| .gitignore | ||
| .gitreview | ||
| .jshintignore | ||
| .jshintrc | ||
| 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;