Correction to xampp php.ini for maximum script time