index 7697462049580281c7976e3314516cdeafd5e74f..8375a3832a536fc37cc6b05d193c97fe944526d7 100644 (file)
} else {
foreach ($objectStorage as $oc) {
$oc= preg_replace('/,$/', '', $oc);
- $tmp= split(',', $oc);
+ $tmp= explode(',', $oc);
if (count($tmp) == 1) {
preg_match('/([^=]+)=(.*)$/', $oc, $m);
if ($flags & GL_SUBSEARCH) {