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

Bartosz Dziewoński fe520ab175 ImmutableRange: Remove unused variable ... The only use was removed in code review, but we missed this. https://gerrit.wikimedia.org/r/c/mediawiki/extensions/DiscussionTools/+/596813/70..71/includes/ImmutableRange.php Change-Id: Ia761a6a350711c32f0bd4c8af48c7c1a35a4afb4		2020-10-15 11:23:43 +00:00
.phan	build: Add mediawiki/mediawiki-phan-config	2020-06-10 22:21:07 +02:00
i18n	Localisation updates from https://translatewiki.net.	2020-10-15 08:38:03 +02:00
images	Add beta feature preference	2020-02-21 15:20:48 +00:00
includes	ImmutableRange: Remove unused variable	2020-10-15 11:23:43 +00:00
maintenance	Defensive use of dynamic paths in maintenance script	2020-02-20 19:51:07 +01:00
modules	Merge "Add reply links on the server"	2020-10-13 20:46:53 +00:00
tests	tests: Fix some typos	2020-10-14 22:14:59 +02:00
.eslintrc.json	build: Update devDependencies	2020-06-09 19:42:05 +01:00
.gitignore	Remove extra blank line from .gitignore file	2020-08-31 15:24:56 +01:00
.gitreview	Add .gitreview	2019-10-09 21:18:34 +00:00
.phpcs.xml	build: Updating mediawiki/mediawiki-phan-config to 0.10.3	2020-09-25 00:22:53 +00: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 mediawiki/mediawiki-phan-config to 0.10.3	2020-09-25 00:22:53 +00:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Add reply links on the server	2020-10-08 13:27:08 +01:00
Gruntfile.js	build: Update devDependencies	2020-06-09 19:42:05 +01:00
package-lock.json	build: Update eslint-config-wikimedia to 0.17.0	2020-08-26 23:46:34 +01:00
package.json	build: Update eslint-config-wikimedia to 0.17.0	2020-08-26 23:46:34 +01:00