videojs/video.js — pull request #878 by heff (2013-12-06 00:46:53+00:00)
Title: Moved player exports to externs

Also made isFullScreen a function