A simple config manager for php