wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-12 01:16:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes/Actions
History
Umherirrender 64bcb583e9 Use namespaced classes 
Done automatically via script
Change to extension.json done manually

Change-Id: Ied7bbddd357290ac6be6bf480be0ee9116e77365
2023-12-11 16:38:02 +01:00
..
SubscribeAction.php Use namespaced classes 2023-12-11 16:38:02 +01:00
UnsubscribeAction.php Use namespaced classes 2023-12-11 16:38:02 +01:00