mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git
synced 2024-11-24 06:03:49 +00:00
3191c2adc4
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: I6d239a5ea286afb10d9e317b2ee1436de60f7e4f |
||
---|---|---|
.. | ||
parserTests | ||
phan | ||
phpunit | ||
legacyParserTest.php |