Manual:$wgDiff/de

Details
Pfad zum GNU diff-Werkzeug.