wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-12 09:57:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor
427 commits 162 branches 6 tags 32 MiB
JavaScript 78.1%
Less 10.3%
PHP 8.6%
HTML 3%
Go to file
Amir E. Aharoni e6640f53ba Moved character 25cc (dotted circle) before the diacritic. 
The diacritic is supposed to appear after the dotted circle. It is
already like this in other languages.

Change-Id: Id157ab58ae41bd6e8f78c26b35b65003abc7bf7a
2012-03-29 10:15:43 +02:00
modules Moved character 25cc (dotted circle) before the diacritic. 2012-03-29 10:15:43 +02:00
tests/selenium Fix more comments 2011-10-14 21:30:16 +00:00
.gitreview Adding .gitreview 2012-03-23 10:37:03 -07:00
README Fixed typo in README 2010-10-01 19:32:11 +00:00
WikiEditor.hooks.php Add a configuration variable for disabling tracking clicks on the toolbar buttons 2012-02-23 22:29:37 +00:00
WikiEditor.i18n.php Localisation update for core and extension messages from translatewiki.net 2012-03-21 19:44:27 +00:00
WikiEditor.php Add a configuration variable for disabling tracking clicks on the toolbar buttons 2012-02-23 22:29:37 +00:00

README 

# 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;