wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor
3150 commits 163 branches 6 tags 33 MiB
JavaScript 78.1%
Less 10.3%
PHP 8.6%
HTML 3%
Go to file
Translation updater bot f110065a00 Localisation updates from https://translatewiki.net. 
Change-Id: I379723b24de2fea5483e38e6a11c41ca17f745fb
2024-06-03 09:33:36 +02:00
.phan Use "optional_services" to inject service MobileContext 2024-04-05 08:52:21 +00:00
i18n Localisation updates from https://translatewiki.net. 2024-06-03 09:33:36 +02:00
includes Merge "Use PHP type hints where possible" 2024-04-30 18:04:49 +00:00
modules JSDoc: convert @cfg to @param 2024-05-28 10:21:21 +02:00
tests/qunit tests: Remove use of QUnit 1.x setup()/teardown() 2022-05-03 01:22:12 +02:00
.eslintrc.json build: Update eslint-config-wikimedia to 0.21.0 2022-02-07 17:27:27 +00:00
.gitignore Add JSDoc configuration and test 2022-05-03 15:28:02 +08:00
.gitreview
.phpcs.xml Fix excluded phpcs rules 2021-11-02 13:48:27 +08:00
.stylelintrc.json stylelint: Enable selector-pseudo-element-colon-notation 2023-03-30 01:14:34 +02: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 composer dependencies 2024-05-06 11:29:39 +00:00
COPYING
extension.json Use "optional_services" to inject service MobileContext 2024-04-05 08:52:21 +00:00
Gruntfile.js Add JSDoc configuration and test 2022-05-03 15:28:02 +08:00
jsdoc.json Add JSDoc configuration and test 2022-05-03 15:28:02 +08:00
package-lock.json build: Updating eslint-config-wikimedia to 0.27.0 2024-04-20 01:49:20 +00:00
package.json build: Updating eslint-config-wikimedia to 0.27.0 2024-04-20 01:49:20 +00:00
README Remove out-of-date version requirement from README 2021-10-04 10:34:13 +08:00

README 

WikiEditor provides enhancements to the MediaWiki edit page

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