mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-13 17:57:21 +00:00
8d7fc8c66a
array_shift manipulates the original array. This is surprisingly expensive, because it iterates *all* elements in the array and decrements numeric keys. The code touched in this patch does not need this restructured new array, but only the individual elements. Change-Id: I166fdbe199400611a21cbd608dd3e177336c8fd5 |
||
---|---|---|
.. | ||
backfillReadBundles.php | ||
backfillUnreadWikis.php | ||
generateSampleNotifications.php | ||
processEchoEmailBatch.php | ||
removeInvalidNotification.php | ||
removeOrphanedEvents.php | ||
testDiscussionParser.php | ||
updateEchoSchemaForSuppression.php | ||
updatePerUserBlacklist.php |