mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
40d962bf33
In some rare cases, an event with a bigger event_id may have a smaller timestamp, in such cases, those records will not get pulled by the existing query, since it's always filtered by <= notification_timestamp AND < event_id Change-Id: I61620a9b93331814ad42253ca380a31301555cda |
||
---|---|---|
api | ||
controller | ||
db_patches | ||
formatters | ||
includes | ||
jobs | ||
maintenance | ||
model | ||
modules | ||
special | ||
tests | ||
.gitignore | ||
.gitreview | ||
.jshintrc | ||
Echo.alias.php | ||
Echo.i18n.php | ||
Echo.php | ||
echo.sql | ||
Hooks.php | ||
Notifier.php |