Last modified: 2014-04-25 06:45:07 UTC
Krenair pointed out that https://git.wikimedia.org/blob/operations%2Fmediawiki-config.git/f6367605debd1ce67fe6530fb5af598b9b87601e/wmf-config%2Fextension-list contains $IP/extensions/UserThrottle/UserThrottle.php and probably doesn't need to any longer.
Change 113897 had a related patch set uploaded by MZMcBride: Remove UserThrottle extension and log group https://gerrit.wikimedia.org/r/113897
Change 113897 merged by jenkins-bot: Remove UserThrottle extension and log group https://gerrit.wikimedia.org/r/113897
All patches merged - assuming this bug is FIXED. If that is not the case: Please reopen and elaborate what is left to do here to get this report fixed.