mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 10:56:44 +00:00
e261aa7593
This seems better for availability than stopping the world and rolling everything back (or just throwing post-commit errors that didn't stop the original change anyway). Change-Id: I816b3cb5f0d26de608e620a01571a332aa832c05 |
||
---|---|---|
.. | ||
AbstractEntity.php | ||
Event.php | ||
Notification.php | ||
TargetPage.php |