Follow-up to bug #10231: Fixed wrong pattern conversions from split() to preg_split()