Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  10713e0a0b78b0c804107a612655bec649533319

Fix notification listing query.

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