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/Actions
History
Bartosz Dziewoński 19fa706693 Action::getPageTitle() should return a Message 
Bug: T343994
Change-Id: Ice968d8a5651a21260b9389526b4f7694b3deca8
2023-09-21 22:17:15 +02:00
..
SubscribeAction.php Action::getPageTitle() should return a Message 2023-09-21 22:17:15 +02:00
UnsubscribeAction.php Action::getPageTitle() should return a Message 2023-09-21 22:17:15 +02:00