| Edit user interface: $wgDiff3 | ||
| Path to the GNU diff3 utility. | ||
| Introduced in version: | 1.3.0 | |
| Removed in version: | still in use | |
| Allowed values: | (absolute path) | |
| Default value: | '/usr/bin/diff3' | |
| Other settings: Alphabetical | By function | ||
Details
GNU diff3 유틸리티의 경로입니다. 만약 그 파일이 존재하지 않으면, 편집 충돌이 이전 동작 (병합 없음)으로 대체될 것입니다.
See also