tree beb7a75fcef9190ba363503c70fa08cfc5a318bf
parent cb93152fed74360a7cb536ed603fe1735e95d6f2
author Ilya Gorbunov <ilya.gorbunov@jetbrains.com> 1607071745 +0300
committer Ilya Gorbunov <ilya.gorbunov@jetbrains.com> 1607093851 +0300

Revert using regex Pattern in String.replace

Use String.indexOf(..., ignoreCase) instead in all branches to preserve
compatibility with behavior before 1.4.20 that used String.split which
essentially relied on that String.indexOf

#KT-43745 Fixed

(cherry picked from commit 149bcc2d22e21cc7ed99a23d21504573e3be559a)