Manual:$wgDiff/de-formal

Details
Path to the GNU diff utility.