DiffMatchPatch\Patch::setMargin PHP Method