Spotted in production:
5 Notice: Undefined index: user in /srv/mediawiki/php-1.26wmf12/includes/api/ApiFeedWatchlist.php on line 208
Spotted in production:
5 Notice: Undefined index: user in /srv/mediawiki/php-1.26wmf12/includes/api/ApiFeedWatchlist.php on line 208
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
ApiFeedWatchlist: Handle revdel | mediawiki/core | master | +12 -2 |
list=watchlist does not return a user, if the user is revision deleted and the current user is not allow to see that information, that causing this notice
Change 224073 had a related patch set uploaded (by Anomie):
ApiFeedWatchlist: Handle revdel