Jump to content

手册:$wgDiff3

From mediawiki.org
This page is a translated version of the page Manual:$wgDiff3 and the translation is 100% complete.
编辑用户界面: $wgDiff3
GNU diff3实用程序的路径。
引进版本:1.3.0
移除版本:仍在使用
允许的值:(绝对路径)
默认值:'/usr/bin/diff3'

详情

GNU diff3实用程序的路径。 如果此文件不存在,编辑冲突将会回落到旧行为(不合并)。

参见