wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 08:23:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
2825 commits 147 branches 0 tags 125 MiB
Commit graph

3 commits

Author SHA1 Message Date
Bartosz Dziewoński 433e57394c Use PHP 7.4 property types 
Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
 2022-10-28 21:56:38 +02:00
DannyS712 88ba997bed Injected SubscriptionStore into UnsubscribeAction 
Dependency injection is now available to actions,
extension already requires MW 1.37+

Bug: T253078
Change-Id: I473abac19ed5e6f3c6706797e91704ff635f64c6
 2021-08-09 22:38:52 +00:00
Ed Sanders 5a166cfab5 Notification unsubcribe button 
Bug: T279150
Change-Id: Ib0bfe3c0dced2108bddbc837a7ddd7bea814e129
 2021-06-01 23:29:53 +02:00