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

Bartosz Dziewoński f44806c0c8 ReplyWidget: Ensure scrollbar doesn't appear in source mode (for real) ... Follow-up to d5a1b7bc2b. The rule hiding the scrollbar was applied to the wrong element. Bug: T267609 Change-Id: I596f29ba191032a82c579c63e9aa526eb4e887aa		2021-01-03 17:22:13 +01:00
.phan	build: Add mediawiki/mediawiki-phan-config	2020-06-10 22:21:07 +02:00
i18n	Localisation updates from https://translatewiki.net.	2020-12-30 10:13:48 +01:00
images	Add beta feature preference	2020-02-21 15:20:48 +00:00
includes	Make Hooks::$tags a constant	2020-12-17 21:17:58 +00:00
maintenance	Defensive use of dynamic paths in maintenance script	2020-02-20 19:51:07 +01:00
modules	ReplyWidget: Ensure scrollbar doesn't appear in source mode (for real)	2021-01-03 17:22:13 +01:00
tests	Fix trying to insert start/end markers in impossible locations	2020-12-14 21:09:56 +01: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-codesniffer to 32.0.0	2020-10-29 10:53:01 +00:00
.stylelintrc.json	build: Updating npm dependencies	2020-11-22 01:20:32 +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.6	2020-12-19 13:49:04 +00:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Add postEdit notification	2020-12-01 21:43:39 +00:00
Gruntfile.js	build: Update devDependencies	2020-06-09 19:42:05 +01:00
package-lock.json	build: Updating ini to 1.3.8	2020-12-13 01:47:22 +00:00
package.json	build: Updating npm dependencies	2020-11-22 01:20:32 +00:00