File.php has normalizeExtension(), which includes the normalization of .ogv to .ogg
However per Xiph, ogx, ogv and oga are now the preferred file extensions, over ogg.
This likely requires changes at other places as well.
Version: unspecified
Severity: enhancement
URL: http://wiki.xiph.org/MIME_Types_and_File_Extensions