Update the PHP settings in the editorconfig