Examples from my Test Driven Development workshop for PHP developers