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

libraryupgrader a51abc4350 build: Updating composer dependencies ... * mediawiki/minus-x: 1.0.0 → 1.1.0 * php-parallel-lint/php-console-highlighter: 0.4.0 → 0.5.0 * php-parallel-lint/php-parallel-lint: 1.0.0 → 1.2.0 Additional changes: * Replaced "jakub-onderka" packages with "php-parallel-lint". Change-Id: I44c4bd373a575b623d5e40c7e4f9e4cab55d5299		2020-06-08 10:00:59 +00:00
i18n	Merge "Make signature prefix customisable"	2020-06-01 17:18:04 +00:00
images	Add beta feature preference	2020-02-21 15:20:48 +00:00
includes	Merge "Depend on Linter"	2020-06-04 16:46:57 +00:00
maintenance	Defensive use of dynamic paths in maintenance script	2020-02-20 19:51:07 +01:00
modules	Merge "Depend on Linter"	2020-06-04 16:46:57 +00:00
tests	Fix whitespace handling in unwrapList	2020-06-03 13:54:36 +01: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	The Great Parser JS to PHP port of 2020!*	2020-05-12 12:33:04 +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 composer dependencies	2020-06-08 10:00:59 +00:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Increase VE dependency	2020-06-04 22:37:31 +01:00
Gruntfile.js	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
package-lock.json	build: Updating dependencies	2020-04-22 08:19:10 +00:00
package.json	build: Updating dependencies	2020-04-22 08:19:10 +00:00