Manuale:$wgDiff3
| Edit user interface: $wgDiff3 | |
|---|---|
| Percorso dello strumento GNU diff3 |
|
| Introdotto nella versione: | 1.3.0 |
| Rimosso nella versione: | Still in use |
| Valori concessi: | (percorso assoluto) |
| Valore predefinito: | '/usr/bin/diff3' |
| Impostazioni: Alfabetiche | Per funzione | |
Dettagli
Percorso allo strumento GNU diff3. Se il file non esiste, il conflitto di edizione tornerà alla precedente modalità (nessuna unione).