title = $title; $this->vers_string = $vname; $this->vers_number = $vnum; $this->datefmt = $datefmt; $this->language = $lang; } } class Menu { var $urls; function Menu($entries) { $this->urls = $entries; } } class Screenshots { var $images; function Screenshots($imgNames) { $this->images = $imgNames; } function RandomImg() { $idx = array_rand($this->images); $this->MakeAnchor($idx); } function AllImg() { foreach($this->images as $idx => $descr) { $this->MakeAnchor($idx); } } function MakeAnchor($img) { echo "\"$img\"/\n"; } function FullImage($img) { $img = basename($img); echo "\"img/${img}.jpg\"/\n"; } function ImageDescr($img, $error) { $img = basename($img); if (isset($this->images[$img])) return $this->images[$img]; else return $error; } } ?>