The code examples in the PHP that I use in my work.