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

Translation updater bot 8d6dbe28b9 Localisation updates from https://translatewiki.net. ... Change-Id: Ibba2458f4d4418d423cce4605f595c4fc8508da4		2023-08-03 08:48:27 +02:00
.phan	Update exception handling for new code conventions	2023-01-22 18:17:11 +00:00
i18n	Localisation updates from https://translatewiki.net.	2023-08-03 08:48:27 +02:00
images
includes	Merge "Enable automatic topic subscriptions for autocreate accounts"	2023-08-01 16:38:27 +00:00
maintenance	Add various, more specific type hints	2023-06-09 13:44:42 +02:00
modules	UsernameCompletionAction: Use @inheritdoc	2023-07-24 18:53:47 +01:00
sql
tests	Always use === in PHP	2023-07-26 14:29:40 +01:00
.eslintignore	Add button to reveal lede section on mobile	2022-11-10 22:10:04 +00:00
.eslintrc.json
.gitignore
.gitreview
.phpcs.xml	build: Updating mediawiki/mediawiki-codesniffer to 41.0.0	2023-03-12 00:45:46 +00:00
.stylelintrc.json
CODE_OF_CONDUCT.md
composer.json	build: Updating mediawiki/mediawiki-phan-config to 0.12.1	2023-04-29 02:29:39 +00:00
COPYING
DiscussionTools.alias.php	Set alias of special page name for Urdu language	2023-05-02 12:44:34 +00:00
DiscussionTools.magic.php	Translate magic words into Polish	2023-04-04 11:30:58 +00:00
extension.json	Add extra documentation to config for ...reply_icon_languages	2023-07-24 18:50:38 +01:00
Gruntfile.js
package-lock.json	build: Update devDependencies	2023-05-24 18:55:11 +01:00
package.json	build: Update devDependencies	2023-05-24 18:55:11 +01:00