Go to file
Ed Sanders d2443f7785 Rename DiscussionToolsAutoTopicSubWhere to DiscussionToolsAutoTopicSubEditor
Better describes that we are checking the editor used to make
the edit, rather than descibing some virtual "location".

Change options to 'discussiontoolsapi' and 'any'.

Change-Id: I3024517e70ed61c738e4bf46a2ac7b58c975d98a
2021-12-15 16:24:35 +00:00
.phan Logging for new comments 2021-10-28 21:50:23 +00:00
i18n Localisation updates from https://translatewiki.net. 2021-12-13 08:21:25 +01:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Rename DiscussionToolsAutoTopicSubWhere to DiscussionToolsAutoTopicSubEditor 2021-12-15 16:24:35 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Merge "Ensure highlighted comment is defined before we try to show auto topic sub popup next to it" 2021-11-29 19:24:05 +00:00
sql Automatic topic subscriptions (on any edit) 2021-11-15 22:45:42 +01:00
tests Merge "Add missing typehints" 2021-12-02 21:13:49 +00:00
.eslintignore Fix linting on i18n key order 2021-10-07 17:37:51 +01:00
.eslintrc.json build: Updating ansi-regex to 5.0.1 2021-10-09 07:08:30 +00:00
.gitignore Remove extra blank line from .gitignore file 2020-08-31 15:24:56 +01:00
.gitreview
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 10:53:01 +00:00
.stylelintrc.json Remove deprecated dt- classes 2021-03-23 12:39:34 +00:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Updating mediawiki/mediawiki-codesniffer to 38.0.0 2021-10-24 02:15:38 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Translate Special:TopicSubscriptions to Czech 2021-11-22 16:23:41 +01:00
extension.json Rename DiscussionToolsAutoTopicSubWhere to DiscussionToolsAutoTopicSubEditor 2021-12-15 16:24:35 +00:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update eslint-config-wikimedia to 0.21.0 2021-11-08 19:03:40 +00:00
package.json build: Update eslint-config-wikimedia to 0.21.0 2021-11-08 19:03:40 +00:00