configuration file library for PHP
