mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
32b82fa1fe
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 |
||
---|---|---|
.. | ||
NotificationDeleteJob.php | ||
NotificationJob.php |