Mediawiki rollback bot (Mass undo troll actions!)

I want to rollback every page a certain IP address has edited, and delete any pages they've made.

How can I do this with either a bot or a plugin or even default functionality to do this? I've found the bot documentation (here) but haven't been able to find any source codes with getting user contributions and rolling back.

Thanks for your help! This should preferably be in PHP.