https://bugzilla.wikimedia.org/show_bug.cgi?id=73489
--- Comment #5 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 173659 merged by jenkins-bot: [FIX] Don't use deprecated parameter of redirect()
https://gerrit.wikimedia.org/r/173659