A dependency injection system for PHP