Parse bilibili.tv video page and return acg.tv short url, vid.

gistfile1.txt

<?php
$url = $_GET["url"];
$vid = 0;
$acgtv = "";
if (preg_match("/http:\/\/www.bilibili.tv\/video\/(av\\d+)/", $url, $matches)) {
  $acgtv = $matches[1];
  $response = file_get_contents($url);
  preg_match("/vid=(\\d+)/", $response, $matches);
  $vid = $matches[1];
}
print json_encode(array("vid"=>$vid, "acgtv"=>$acgtv));
?>