|
| Sets the default video file extension, which must be set without '.' prefix.
| This extension is going to be added to the `name` field from the DB in
-| order to deduce the video file name if not stated otherwise. Possible values:
+| order to deduce the video file name if not stated otherwise in the format.
+| Possible values:
|
| ogv
| ogg
|
*/
-$config['default_video_ext'] = 'ogg'; // TODO: Change to 'ogv'!
+$config['default_video_ext'] = 'ogv';
/*
|--------------------------------------------------------------------------