mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
b35f27c291
Remove the records: * If a page is no longer valid * If a notification somehow has been read * If a notification is no longer a bundle base and has not been removed Change-Id: I282568691d6649c6e3263aea598c3bba29119a29 |
||
---|---|---|
.. | ||
processEchoEmailBatch.php | ||
removeInvalidNotification.php | ||
removeInvalidTargetPage.php | ||
testDiscussionParser.php | ||
updateEchoSchemaForSuppression.php |