Update config.w32

Change of php5 for php7