Answer
Marko Pantelić has never been the top scorer in the UEFA Champions League. The top scorer in the UEFA Champions League is the player who has scored the most goals in the competition during the season. Pantelić has never scored the most goals in the competition during the season, so he has never been the top scorer.