When i add new php version 7.2, enable the extensions, edit the php.ini and restart laragon. It always load with previous php.ini setting. I think there is a global php.ini. How can i edit and reload the new one? Where is the setting for do this? If i select the new version of php, php.ini is not working.