";
+ if($previewer->hasPreview($version)) {
+ print("

getID()."&version=".$version->getVersion()."&width=".$previewwidthdetail."\" title=\"".htmlspecialchars($version->getMimeType())."\">");
+ } else {
+ print "

getMimeIcon($version->getFileType())."\" title=\"".htmlspecialchars($version->getMimeType())."\">";
+ }
+ print "
";
}
} /* }}} */