wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 11:19:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor
2463 commits 162 branches 6 tags 32 MiB
JavaScript 78.1%
Less 10.3%
PHP 8.6%
HTML 3%
Go to file
Translation updater bot 3f35099bc7 Localisation updates from https://translatewiki.net. 
Change-Id: I86a3c063e5b69dcaef780d57a9bb2445d32a7904
2021-08-26 08:37:11 +02:00
.phan Upgrade to new phan 2019-03-16 21:44:36 -07:00
i18n Localisation updates from https://translatewiki.net. 2021-08-26 08:37:11 +02:00
includes PHP VisualEditorFeatureUse logging: properly record session id 2021-05-12 19:46:36 +00:00
modules Add runes to special characters 2021-08-17 18:19:32 +02:00
tests/qunit Upgrade to new phan 2019-03-16 21:44:36 -07:00
.eslintrc.json Fix eslint warnings 2021-05-23 15:49:49 +01:00
.gitignore build: Updating npm dependencies for security issues 2019-06-09 04:32:34 +00:00
.gitreview
.phpcs.xml build: Updating eslint-config-wikimedia to 0.18.2 2021-03-08 09:54:09 +00:00
.stylelintrc.json Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-19 17:48:56 +00:00
composer.json build: Updating dependencies 2021-07-23 14:23:49 +00:00
COPYING
extension.json Add runes to special characters 2021-08-17 18:19:32 +02:00
Gruntfile.js Fix eslint warnings 2021-05-23 15:49:49 +01:00
package-lock.json build: Updating path-parse to 1.0.7 2021-08-12 14:14:47 +00:00
package.json Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00
README Update README 2019-02-23 16:36:49 +00:00

README 

WikiEditor provides enhancements to the MediaWiki edit page

# This extension requires MediaWiki 1.33 or higher.

For installation, once the code is copied into your extensions directory, you can load it for your
wiki by adding to LocalSettings.php the line:

	wfLoadExtension( 'WikiEditor' );

By default, when installed this extension will be available to all users, and logged-in users can
disable it from their preferences. If you wish all users to have it, and be unable to disable it,
add it to $wgHiddenPrefs in your LocalSettings.php:

	$wgHiddenPrefs[] = 'usebetatoolbar';

More can be found on the extension's page: https://www.mediawiki.org/wiki/Extension:WikiEditor