Update php.ini

Minor changes to bring up to date with recent updates.