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

Umherirrender fdd52762ee Call Maintenance::requireExtension ... This avoids that the script is executed without the extension is installed. This avoids than an error when class is missing Change-Id: I064d2be5dbaa3b43c8134e19694511398decba88		2020-01-13 22:15:43 +01:00
i18n	Localisation updates from https://translatewiki.net.	2019-12-29 20:40:26 +01:00
includes	build: Add missing .phpcs.xml and make pass	2020-01-13 20:48:11 +01:00
maintenance	Call Maintenance::requireExtension	2020-01-13 22:15:43 +01:00
modules	Merge "Option to integrate VisualEditor instead of textarea"	2020-01-09 18:08:18 +00:00
tests	Identify comments by username+timestamp+seq	2019-12-09 13:45:31 +00: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	Add required files for an extension	2019-10-10 19:42:56 +01:00
CODE_OF_CONDUCT.md	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
composer.json	build: Add MinusX	2020-01-11 22:27:35 +01:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Option to integrate VisualEditor instead of textarea	2020-01-07 22:15:03 +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