wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-15 12:00:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes/Notifications
History
Thalia ec8048131d Replace uses of UserNameUtils::isTemp with UserIdentityUtils::isTemp 
Where a UserIdentity is available, use UserIdentityUtils, which has
fewer dependencies.

Change-Id: I035bfbc7801f4ac77a8c6f0991f0fdf71b8fb429
2023-07-26 11:32:27 +01:00
..
AddedTopicPresentationModel.php New topic notifications 2023-03-20 14:41:53 +00:00
DiscussionToolsEventTrait.php Use namespaced Echo classes 2023-06-08 13:46:31 +05:30
EnhancedEchoEditUserTalkPresentationModel.php Update moved class RawMessage 2023-05-19 10:30:50 +00:00
EnhancedEchoMentionPresentationModel.php Update exception handling for new code conventions 2023-01-22 18:17:11 +00:00
EventDispatcher.php Replace uses of UserNameUtils::isTemp with UserIdentityUtils::isTemp 2023-07-26 11:32:27 +01:00
PlaintextEchoPresentationModelSection.php Use namespaced Echo classes 2023-06-08 13:46:31 +05:30
RemovedTopicPresentationModel.php Use namespaced Echo classes 2023-06-08 13:46:31 +05:30
SubscribedNewCommentPresentationModel.php Add various, more specific type hints 2023-06-09 13:44:42 +02:00