GitHub repository: zhxie/HTML5-Video-Control
Primary language: JavaScript
Description: A user script for controlling HTML5 video.