An IRC channel log bot written in PHP