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

jenkins-bot 3676f3881d Merge "Introduce CommentDetails to group up and document stuff we pass around"		2021-07-01 17:18:58 +00:00
.phan	Echo wiring for topic subscriptions	2021-04-06 23:28:28 +02:00
i18n	Localisation updates from https://translatewiki.net.	2021-07-01 08:09:21 +02:00
images	Add beta feature preference	2020-02-21 15:20:48 +00:00
includes	EventDispatcher: Ensure we fetch page content from the primary database	2021-07-01 14:52:13 +00:00
maintenance
modules	Introduce CommentDetails to group up and document stuff we pass around	2021-06-21 22:12:18 +02:00
sql	Change DB column types from "string" to "binary" (VARCHAR to VARBINARY in MySQL)	2021-04-28 21:54:48 +00:00
tests	Silence JQMIGRATE warnings when running tests	2021-06-21 21:17:36 +02:00
.eslintignore	build: Move eslint file list to .eslintignore	2021-03-04 18:09:34 +00:00
.eslintrc.json	build: Updating eslint-config-wikimedia to 0.19.0	2021-03-13 10:51:31 +00:00
.gitignore	Remove extra blank line from .gitignore file	2020-08-31 15:24:56 +01:00
.gitreview
.phpcs.xml	build: Updating mediawiki/mediawiki-codesniffer to 32.0.0	2020-10-29 10:53:01 +00:00
.stylelintrc.json	Remove deprecated dt- classes	2021-03-23 12:39:34 +00:00
CODE_OF_CONDUCT.md
composer.json	build: Updating composer dependencies	2021-05-05 11:14:52 +00:00
COPYING
extension.json	Merge "Introduce CommentDetails to group up and document stuff we pass around"	2021-07-01 17:18:58 +00:00
Gruntfile.js	build: Move eslint file list to .eslintignore	2021-03-04 18:09:34 +00:00
package-lock.json	build: Updating browserslist to 4.16.6	2021-05-25 10:51:11 +00:00
package.json	build: Updating npm dependencies	2021-05-09 16:41:13 +00:00