Update php-ini.md