wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 02:46:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/jobs
History
Roan Kattouw 32b82fa1fe NotifUser: Make resetNotificationCount() default to DB_MASTER 
We almost always call it with DB_MASTER, and I'm pretty sure that the
one call that uses DB_REPLICA introduces a race condition. I didn't want
to change that quite yet, though, so I left it in for now.

Change-Id: Ia5a59fdda357b799e327b8ed224f3ccb09509a8a
2018-05-30 05:14:38 +00:00
..
NotificationDeleteJob.php NotifUser: Make resetNotificationCount() default to DB_MASTER 2018-05-30 05:14:38 +00:00
NotificationJob.php Use static newFromID instead of loadFromID 2018-05-17 22:29:09 +02:00