GitHub - wikimedia/mediawiki-extensions-DiscussionTools: GitHub mirror of the mediawiki/extensions/DiscussionTools repository. Development happens at https://gerrit.wikimedia.org. Please see https://www.mediawiki.org/wiki/Developer_account if you wish to contribute.

The development of this software is covered by a Code of Conduct.

Name		Name	Last commit message	Last commit date
Latest commit History 3,974 Commits
.phan		.phan
i18n		i18n
images		images
includes		includes
maintenance		maintenance
modules		modules
sql		sql
tests		tests
.eslintignore		.eslintignore
.eslintrc.json		.eslintrc.json
.gitignore		.gitignore
.gitreview		.gitreview
.phpcs.xml		.phpcs.xml
.stylelintrc.json		.stylelintrc.json
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
COPYING		COPYING
DiscussionTools.alias.php		DiscussionTools.alias.php
DiscussionTools.magic.php		DiscussionTools.magic.php
Gruntfile.js		Gruntfile.js
composer.json		composer.json
extension.json		extension.json
package-lock.json		package-lock.json
package.json		package.json
typos.json		typos.json

Provide feedback