why was php.ini there in the first place?