The divx web player is needed to play the videos though. its legit.

Probably either a false positive, unless you mean to suggest someone else has published a plugin in the firefox plugin repository with a virus as part of it, with the same name as the official player which causes it to get picked ahead of the divx webplayer.