' . $deletion . ''; } else {/* if ( $opcode === 'i' ) */ $addition = substr($from, $from_offset, $from_len); $addition = preg_replace('/^(.)/m', '+$1 ', $addition); $output = '' . $addition . ''; } return $output; } }