PHP userland backwards compatibility layer that emulates PHP 5.5+ core functions.

⌈⌋ ⎇ branch:  upgrade.php


Help: gdiff-command

The "gdiff-command" setting:

The value is an external command to run when performing a graphical diff. If undefined, text diff will be used.