mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-23 18:31:07 +00:00
3d103f09b5
strings * This avoids escaping of double quotes. * Exceptions: "''" and "'''" * https://www.mediawiki.org/wiki/Manual:Coding_conventions/JavaScript#Quotes Set "validateQuoteMarks": { "mark": "'", "escape": true } in .jscsrc This tests for single quotes but allows double quotes to avoid escaping. Change-Id: Ibd32a63c4c97a7ef8938c6d2dff83b952cfca43e |
||
|---|---|---|
| i18n | ||
| modules | ||
| tests/qunit | ||
| .gitignore | ||
| .gitreview | ||
| .jscsrc | ||
| .jshintignore | ||
| .jshintrc | ||
| composer.json | ||
| COPYING | ||
| extension.json | ||
| Gruntfile.js | ||
| package.json | ||
| phpcs.xml | ||
| README | ||
| WikiEditor.hooks.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.