Seems stupid omission. Title has one. Why do I need to think how to determine how to users objects point to the same user. Allows more expressive code. Also fixes a bug in multiple places where users "0" and "00" were considered equal. Change-Id: I682392e564b332b77ab489f2ad394fa2d28098a5 |
||
|---|---|---|
| .. | ||
| ChangesFeed.php | ||
| ChangesList.php | ||
| EnhancedChangesList.php | ||
| OldChangesList.php | ||
| RCCacheEntry.php | ||
| RCCacheEntryFactory.php | ||
| RecentChange.php | ||