WEBLINKs and WEBPAGEs can have icons too

2004-04-26 15:44:25 +00:00
parent 9d361034ec
commit 7e1500acd7
1 changed files with 1 additions and 1 deletions
@@ -184,7 +184,7 @@ function resource_get_coursemodule_info($coursemodule) {

       require_once("$CFG->dirroot/files/mimetypes.php");

-       if ($resource->type == UPLOADEDFILE) {
+       if ($resource->type == UPLOADEDFILE or $resource->type == WEBLINK or $resource->type == WEBPAGE) {
 	       $icon = mimeinfo("icon", $resource->reference);
           if ($icon != 'unknown.gif') {
 		       $info->icon ="f/$icon";