Ah, that's a good point. We'll need to add any new flash api methods to the externs file.
https://github.com/videojs/video.js/blob/master/src/js/media/flash.externs.js