[RegEx] Split sur des délimiteurs unicode

Split sur des délimiteurs unicode

Bonjour,

Je récupère des lignes dans un fichier JSON, et chaque ligne contient des termes séparés par les délimiteurs unicode tels que "\u001D" ou "\u001E" (cf. Group Separator et Record Separator sur cette page).
J'ai bien tenté des mb_split et des preg_split sur ces délimiteurs, mais il semblerait qu'ils ne soient pas interprétés comme écrits.
De quelle manière dois-je les transformer pour qu'ils soient interprétés et exploitables ?

Merci d'avance.

Problème résolu en faisant un simple explode sur chr(29) ou chr(30) !

Oui, tu peux aussi faire:

Code:

$result = explode("\x1d", $str);