A lightweight configuration and service manager for PHP