updated php.ini (#819)