esatto è quello il file da modificare, più sotto, dopo la riga postata da mamo, cerca questo codice:
/*
Interventi
*/
if( get_permessi('Interventi') != '-' ){
$campi = array( 'idintervento', '(SELECT MIN(orario_inizio) FROM in_interventi_tecnici WHERE idintervento=in_interventi.idintervento)', 'data_richiesta', 'info_sede', 'richiesta', 'descrizione', 'informazioniaggiuntive' );
$campi_text = array( 'Codice intervento', 'Data intervento', 'Data richiesta intervento', 'Sede intervento', 'Richiesta', 'Descrizione', 'Informazioni aggiuntive' );
aggiungi nei due array il vostro nuovo campo...