https://bugzilla.wikimedia.org/show_bug.cgi?id=72294
--- Comment #4 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 167957 merged by jenkins-bot: replace.py: replace deprecated inputChoice() function
https://gerrit.wikimedia.org/r/167957