mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-25 11:18:35 +00:00
00eee72543
Re-added the preference for toolbar I had removed by mistake in change 4339 made global=false and user=true for toolbar,as it was before my changes for dialogs global=true and user=false is retained as now the user cannot control dialogs in preferences and it is always on Patchset 3 (Roan): enable WikiEditor preference by default Change-Id: I1adc6b99fa3e1980d4ce3c565b5f193bcbceb526 |
||
|---|---|---|
| modules | ||
| tests/selenium | ||
| .gitreview | ||
| 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; $wgDefaultUserOptions['wikieditor-preview'] = 1;