IRC bot based on PHP extendable with plugins