Settings library for PHP