Originariamente inviato da Emulman
prova così

$file = file('file.ini');
$file[1] = "codice = 28";
file_put_contents('file.ini', $file, FILE_TEXT);
sei sicuro che quello che c'è scritto in file_put_contents non sia errato?