A PHP class to handle .ini files