mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
9c26779852
These are updated in deferred updates and should not rely on the same User instance being used in those updates. This also avoids convoluted logic in User to set the new edit count for various cases. Change-Id: I0ad3d17107efc7b0e59f1dd54d5733cd1572a2b7 |
||
---|---|---|
.. | ||
phpunit | ||
qunit | ||
selenium | ||
bootstrap.php | ||
echo.suite.xml |