Last modified: 2014-07-01 18:52:27 UTC
Created attachment 15714 [details] Prevent duplicate emails from being sent If you have a page in your watchlist, and you are in the wgUsersNotifiedOnAllChanges array, you receive two emails about the changed page.
Of course, should use getName() or similar as the keys, not the User object.
Hi Greg! Thanks for the patch! You are very welcome to use Wikimedia Developer access https://www.mediawiki.org/wiki/Developer_access to submit the patch as a Git branch directly into Gerrit: https://www.mediawiki.org/wiki/Git/Tutorial Putting your branch in Git makes it easier to review it quickly. If you don't want to set up Git/Gerrit, you can also use https://tools.wmflabs.org/gerrit-patch-uploader/
Change 143373 had a related patch set uploaded by Rohan013: Checks for each user in the $wgUsersNotifiedOnAllChange list before sending the mail https://gerrit.wikimedia.org/r/143373