/s', $page, $m1);
assert($m1);
$description = strip_tags($m1[1], '
');
$description = str_replace('showVideoPlaybutton()', '', $description);
$description = preg_replace('/\s+/', ' ', $description);
$description = htmlentities($description, ENT_COMPAT | ENT_HTML401 | ENT_SUBSTITUTE, 'ISO-8859-1');
$description = str_replace(array('<', '>'), array('<', '>'), $description);
preg_match('/\s*(.*?)\s*<\/ul>/s', $page, $m2);
assert($m2);
preg_match_all('/- (\w+):<\/strong>(.*?)<\/li>/', $m2[1], $m3);
assert($m3);
$properties = array();
foreach ($m3[1] as $i => $name)
$properties[] = array('name' => $name, 'value' => $m3[2][$i]);
echo json_encode(compact('description', 'properties'), JSON_UNESCAPED_SLASHES);
?>