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
3124 commits 163 branches 6 tags 33 MiB
JavaScript 78.1%
Less 10.3%
PHP 8.6%
HTML 3%
Go to file
thiemowmde eb5d3aa089 Remove non-helpful whitespace from "Headings" help panel 
The help panel is rather cramped, only 125px high. Previewing the
actual margins above and below each heading is not really helpful.
It's also that no other element in the help panel does have this
whitespace.

Also remove a bit of redundancy from some selectors. Saying that
something is for the table "cells" is more than enough. Adding the
"td" doesn't make it better, just longer.

Change-Id: I11bbd5b8ceee709c3a51b20fb06d2315bb4d9316
2024-04-17 11:52:08 +00: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-04-08 09:27:30 +02:00
includes Use "optional_services" to inject service MobileContext 2024-04-05 08:52:21 +00:00
modules Remove non-helpful whitespace from "Headings" help panel 2024-04-17 11:52:08 +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 mediawiki/mediawiki-codesniffer to 43.0.0 2024-03-18 03:05:20 +00:00
COPYING Add COPYING 2014-01-22 22:11:36 +00:00
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 jsdoc-wmf-theme to 0.0.12 2024-02-16 13:19:23 +00:00
package.json build: Updating jsdoc-wmf-theme to 0.0.12 2024-02-16 13:19:23 +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