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 subscribed.

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