mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +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 |
||
---|---|---|
.. | ||
AbstractEntity.php | ||
Event.php | ||
Notification.php | ||
TargetPage.php |