wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 16:04:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
1558 commits 164 branches 0 tags 74 MiB
Commit graph

1 commit

Author SHA1 Message Date
bsitu b35f27c291 Delete invalid records from echo_target_page 
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
 2014-08-19 11:34:01 -07:00