hearder.inc.php options

What does

$video_ext                 = 'avi';

do in header.inc.php?

I believe that is the format each video is converted to after upload. That line is probably just creating the association

.......... but don't bet your life on my being completely correct about this one either  ; )