A simple PHP INI reader and writer class