메뉴얼:$wgDiff
From mediawiki.org
This page is a translated version of the page Manual:$wgDiff and the translation is 100% complete.
Languages:
| Edit user interface: $wgDiff | |
|---|---|
| GNU 차이 유틸리티의 경로입니다. |
|
| 이 변수가 소개된 버전: | 1.13.0 |
| 이 변수가 사라진 버전: | 계속해서 쓰이고 있음 |
| 허용값: | (절대경로) |
| 기본값: | '/usr/bin/diff' |
| 기타 설정: 알파벳 순 | 기능별 순 | |
상세
GNU 차이 유틸리티의 경로입니다.