Removed $wgShowIPinHeader = false; since was dropped since 1.27.0
https://www.mediawiki.org/wiki/Manual:$wgShowIPinHeader
Commented this
$wgDiff3 = "/usr/bin/diff3";
The value is just the default one
Uhm I can't do more than this.