/*protected function show_smalldesc ($file) {
if ($file->smalldesc<>'') $this->fileOutputBox(_DOWN_DESC_SMALL, $file->smalldesc, !$file->autoshort);
}

protected function show_submittedby ($file) {
if ($file->submittedby) {
$submitter = new remositoryUser($file->submittedby);
$this->fileOutputBox(_DOWN_SUB_BY, $submitter->name);
}
}

protected function show_submitdate ($file) {
if ($file->submitdate<>'') {
$time = $this->controller->revertFullTimeStamp($file->submitdate);
if ($this->repository->Set_date_locale) {
setlocale(LC_TIME, $this->repository->Set_date_locale);
$date = strftime($this->repository->Date_Format, $time);
}
else $date = date ($this->repository->Date_Format, $time);
$this->fileOutputBox(_DOWN_SUB_DATE, $date);
}
}

protected function show_filesize ($file) {
if ($file->filesize<>'') $this->fileOutputBox(_DOWN_FILE_SIZE, $file->filesize);
}

protected function show_filedate ($file) {
if ($file->filedate<>'') {
$time = $this->controller->revertFullTimeStamp($file->filedate);
if ($this->repository->Set_date_locale) {
setlocale(LC_TIME, $this->repository->Set_date_locale);
$date = strftime($this->repository->Date_Format, $time);
}
else $date = date ($this->repository->Date_Format, $time);
$this->fileOutputBox(_DOWN_FILE_DATE, $date);
}
}

protected function show_downloads ($file) {
$this->fileOutputBox(_DOWN_DOWNLOADS, $file->downloads);
}

protected function show_license ($file) {
if ($file->license<>'') $this->fileOutputBox(_DOWN_LICENSE, $this->translateDefinitions($file->license), false);
}

protected function show_fileversion ($file) {
if ($file->fileversion<>'') $this->fileOutputBox(_DOWN_FILE_VER, $file->fileversion);
}

protected function show_fileauthor ($file) {
if ($file->fileauthor<>'') $this->fileOutputBox(_DOWN_FILE_AUTHOR, $file->fileauthor);
}

protected function show_filehomepage ($file) {
if ($file->filehomepage<>'') $this->URLDisplay (_DOWN_FILE_HOMEPAGE, $file->filehomepage);
}

protected function show_vote_value ($file) {
if ($this->repository->Allow_Votes) {
$this->bareShowVotes ($file);
echo "\n\t\t\t\t</dd>";
}
}*/