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