I wrote:
You should put it in PEAR. Very few people are going to find it if it's just in the MediaWiki core, regardless of what directory you put it in.
I wouldn't like to be accused of hypocrisy, so I released a new version of File_Ogg:
http://pear.php.net/package/File_Ogg
It's not too hard.
-- Tim Starling