PHP TDD Exemple