Last modified: 2013-12-16 03:52:50 UTC
See url. While the "thank" link is not added for flagged bots, it's still possible to use the API to thank users in the bot group.
Change 97358 had a related patch set uploaded by Theopolisme: Perform checks before thanking via API https://gerrit.wikimedia.org/r/97358
Change 97358 merged by jenkins-bot: Perform checks before thanking via API https://gerrit.wikimedia.org/r/97358