An IRC bot written in PHP, extensible with simple plugins