Manual:$wgDiff/de

Details
Path to the GNU diff utility.