Last modified: 2014-10-20 01:13:04 UTC
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.
What is that normalization list actually used for?
So this seems to have been fixed ages ago; we have lots of .ogv and .oga files and they're not getting auto-renamed.