A simple config system for PHP