mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks
synced 2024-11-15 02:54:23 +00:00
b8b892bb98
This extension is useless without Echo, and the API modules already disable themselves if it's not installed. Just absolutely require Echo to be installed. Change-Id: I653eea78668bfe0875bc5a33e2d45607106d4ee5 |
||
---|---|---|
.. | ||
ApiCoreThank.php | ||
ApiFlowThank.php | ||
ApiThank.php | ||
EchoCoreThanksPresentationModel.php | ||
EchoFlowThanksPresentationModel.php | ||
SpecialThanks.php | ||
ThanksHooks.php | ||
ThanksLogFormatter.php |