Manual:$wgDiff/es

Detalles
Path to the GNU diff utility.