[Patch] Mozplugger Support for DIVX Streaming Video

Hey, 

just a simple change in the mozpluggerrc let's it play DIVX movies as well.

I just added a single line, I guess it could be done more elegantly, but the important thing is it works:

(mozpluggerr, line 103)
video/mp4:mp4:MPEG4 animation
+video/divx:divx:MPEG4 animation
        MP_VIDEO_STREAM()
        TM_VIDEO_STREAM()
        HELPER(xine -pq "$file")

Test on e.g. 
http://stage6.divx.com

Would be great if you could incorporate the change!

(Thanks to the Author(s) for that great, flexible program!)

I'm sorry if I did something wrong in this Email but this is the first time I do this ;-)

Greetings,

Dennis