[Summary view] [Print] [Text view]

   1  # WikiEditor provides enhancements to the MediaWiki edit page
   2  
   3  # This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader.
   4  
   5  # Example LocalSettings.php additions
   6  
   7  require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
   8  
   9  # Before configuring this extension, see WikiEditor.php and become familiar with the initial state and structure of the
  10  # $wgWikiEditorFeatures configuration variable. Essentially it's an array of arrays, keyed by feature name, each
  11  # containing global and user keys with boolean values. "global" indicates that it should be turned on for everyone
  12  # always, while user indicates that users should be allowed to turn it on or off in their user preferences.
  13  
  14  # To enable a preference by default but still allow users to disable it in preferences, use something like...
  15  
  16  $wgDefaultUserOptions['usebetatoolbar'] = 1;
  17  $wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;
  18  
  19  # Release 1.21 removes the $wgWikiEditorToolbarClickTracking config variable
  20  # and with it support for tracking clicks on WikiEditor features via the
  21  # ClickTracking extension.