Hello teacher, how are the configuration files in the PHP operating principle and development environment generated? How are the settings.json files in the settings in VScode generated? Thanks