Update .ini to current PHP version. Fixes #5