The Discord bot toolkit for modern php