mediawiki-extensions-Discus.../includes/Notifications
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
..
DiscussionToolsEventTrait.php
EnhancedEchoEditUserTalkPresentationModel.php
EnhancedEchoMentionPresentationModel.php
EventDispatcher.php
SubscribedNewCommentPresentationModel.php