wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-11 17:01:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor
3035 commits 161 branches 6 tags 32 MiB
JavaScript 78.1%
Less 10.3%
PHP 8.6%
HTML 3%
Go to file
Ed Sanders 0fe46f50c0 Delete messages from real-time preview beta feture/onboarding 
These were orphaned in I8d05e143858.

Change-Id: I602d2e83d5886a832ba20a59f9a8a48b073ead3f
2023-11-02 18:41:24 +00:00
.phan Realtime Preview: remove Beta Feature and onboarding popup 2023-03-17 15:22:32 +08:00
i18n Delete messages from real-time preview beta feture/onboarding 2023-11-02 18:41:24 +00:00
includes Bump EditAttemptStep to 2.0.2 2023-10-30 14:39:10 -05:00
modules Fix remaining uses of 'parent'->'super' 2023-11-02 17:11:24 +00: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 Whoops, track not trace 2016-10-24 17:04:09 -07:00
.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 dependencies 2023-04-29 14:35:21 +00:00
COPYING Add COPYING 2014-01-22 22:11:36 +00:00
extension.json build: Update MediaWiki requirement to 1.41 2023-08-19 14:22:39 +08: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: Upgrade jsdoc-wmf-theme from ^v0.0.6 to v0.0.8 2023-08-23 09:53:50 -04:00
package.json build: Upgrade jsdoc-wmf-theme from ^v0.0.6 to v0.0.8 2023-08-23 09:53:50 -04: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