Io vorrei creare uno script php che individua i file index.html sul server e ci inserisce un pezzetto di codice