Simple HTML5 video server written in PHP