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

Ed Sanders 03a94badfe Use current preference each time we open a new reply widget ... TODO: Switch already setup widgets when we re-open them. Bug: T253888 Change-Id: I6c541f27edbfe373f62b8508381bb5182681bda4		2020-05-29 13:06:36 +01:00
i18n	Localisation updates from https://translatewiki.net.	2020-05-28 08:39:06 +02:00
images	Add beta feature preference	2020-02-21 15:20:48 +00:00
includes	Insert replies outside of decorative comment frames	2020-05-22 15:01:12 +01:00
maintenance	Defensive use of dynamic paths in maintenance script	2020-02-20 19:51:07 +01:00
modules	Use current preference each time we open a new reply widget	2020-05-29 13:06:36 +01:00
tests	Merge "Fix failing test case for PHP modifier"	2020-05-26 03:08:48 +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	The Great Parser JS to PHP port of 2020!*	2020-05-12 12:33:04 +01: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	Update mediawiki-codesniffer to 31.0.0	2020-05-27 17:32:46 +01:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Merge "Create a user preference to store visual/source mode"	2020-05-21 16:21:34 +00:00
Gruntfile.js	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
package-lock.json	build: Updating dependencies	2020-04-22 08:19:10 +00:00
package.json	build: Updating dependencies	2020-04-22 08:19:10 +00:00