A PHP-based configuration library