Page MenuHomePhabricator

Undefined index: continue in SpecialGather.php
Closed, ResolvedPublic

Description

Spotted in production:

2 Undefined index: continue in /srv/mediawiki/php-1.26wmf13/extensions/Gather/includes/specials/SpecialGather.php on line 114

Event Timeline

demon raised the priority of this task from to Medium.
demon updated the task description. (Show Details)
demon moved this task to Dec2019/1.35.wmf.10+ on the Wikimedia-production-error board.
demon added a subscriber: demon.

Change 225674 had a related patch set uploaded (by Jdlrobson):
Avoid undefined index error

https://gerrit.wikimedia.org/r/225674

Change 225674 merged by jenkins-bot:
Avoid undefined index error

https://gerrit.wikimedia.org/r/225674

This has been deployed for more than a week now, have you seen the error again @demon?

I don't see any errors in the last 7 days on http://logstash.wikimedia.org