20181224 gadgets-news: OnePlus becomes top premium Android smartphone brand; says IDC report