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 "
\n";
}
function FullImage($img)
{
$img = basename($img);
echo "
\n";
}
function ImageDescr($img, $error)
{
$img = basename($img);
if (isset($this->images[$img]))
return $this->images[$img];
else
return $error;
}
}
?>