mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +00:00
799d4de339
Objects can be different instances (and for User, they can contain very different data) in which case they wouldn't be recognized even if they were the same user. Let's find by ID instead. Bug: T124803 Change-Id: Ia166fd4190f264354cea83d98047c62c7e0714ea |
||
---|---|---|
.. | ||
NotificationController.php |