Use PREG_SPLIT_NO_EMPTY in preg_split()

Closes #3425517

Merge request reports

Loading