public static function decode_other(?string $other) {
        if ($other === 'N;' || preg_match('~^.:~', $other)) {
            return unserialize($other);
        } else {
            return json_decode($other, true);
        }
    }