Короче я ищу что-то вроде google-diff-match-patch в PHP.
Я взглянул на некоторые похожие вопросы в SO, а также на предоставленный алгоритм здесь , но все они терпят неудачу:
diff("draßen", "da draußen")
следует не дать
<del>draßen</del> <ins>da draußen</ins>
(что довольно глупо для моей цели, потому что я хочу сравнить имена файлов), но (попробуйте здесь)
<ins>da </ins>dra<ins>u</ins>ßen
Есть ли фрагмент кода в PHP, который делает это? К сожалению, я не могу использовать (т.е. устанавливать) внешние пакеты.