A PHP framework using dependency injection and PHP 5.5 generators