Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools

Ed Sanders 1a93e420b3 Sig preview: Increase opacity ... Closer matches disabled-grey which is more accessible. Change-Id: Ieb98e88bb42fdec1f1089919cf2c0c5f72b21877		2020-02-18 15:43:06 +00:00
i18n	Localisation updates from https://translatewiki.net.	2020-02-18 08:25:04 +01:00
includes	Change tags method so anon edits will get tagged	2020-02-07 01:19:11 -06:00
maintenance	Call Maintenance::requireExtension	2020-01-13 22:15:43 +01:00
modules	Sig preview: Increase opacity	2020-02-18 15:43:06 +00:00
tests	Handle comments before first section heading	2020-01-30 00:14:46 -08:00
.eslintrc.json	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
.gitignore	Add .gitignore file	2019-10-10 21:21:00 +01:00
.gitreview	Add .gitreview	2019-10-09 21:18:34 +00:00
.phpcs.xml	build: Add missing .phpcs.xml and make pass	2020-01-13 20:48:11 +01:00
.stylelintrc.json	build: Updating mediawiki/mediawiki-codesniffer to 29.0.0	2020-01-14 04:55:38 +00:00
CODE_OF_CONDUCT.md	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
composer.json	build: Updating mediawiki/minus-x to 1.0.0	2020-01-29 03:41:40 +00:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Re-style preview	2020-02-08 00:13:41 +00:00
Gruntfile.js	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
package-lock.json	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
package.json	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00