Tiny Safari extension that adds standard HTML controls to any <video> element on a page. - View it on GitHub