A Simple PHP INI files reader