Index of /wiki/extensions/WikiEditor/

NameLast ModifiedSize
UpParent Directory
Directoryi18n2022-11-25 05:47-
Directorymodules2022-11-25 05:47-
Directorytests2022-11-25 05:47-
Filecomposer.json2016-11-19 02:22 1k
FileCOPYING2016-06-14 05:12 18k
Fileextension.json2016-11-19 02:22 15k
Filegitinfo.json2016-11-19 02:22 1k
[TXT]Gruntfile.js2016-11-19 02:22 5k
Filepackage.json2016-11-19 02:22 1k
Filephpcs.xml2016-11-19 02:22 1k
Fileversion2016-11-19 02:22 1k
[TXT]WikiEditor.hooks.php2016-11-19 02:22 13k
[TXT]WikiEditor.php2016-11-19 02:22 1k
# 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.
Proudly Served by LiteSpeed Web Server at datastreetconsulting.com Port 80