docs: function splitPlatformInfo(uaList) {
    for(var i = 0; i < uaList.length; ++i) {
      var item = uaList[i];
      if (isEnclosedInParens(item)) {
        return removeEmptyElements(trimSpacesInEachElement(item.substr(1, item.length-2).split(';')));
      }
    }
  }