public function convertToPHPValue($value, AbstractPlatform $platform) { if ($value === null) { return; } $value = ltrim(rtrim($value, '}'), '{'); if ($value === '') { return; } $r = explode(',', $value); foreach ($r as &$v) { $v = (int) $v; } return $r; }