External resources where we don't know the type are given the web icon

diff --git a/mod/resource/lib.php b/mod/resource/lib.php
index 6a93e0ceba3e78696a56934dc6d65918115f14d9..16f021b2697f4486cda338c10b8e80e8c8b61280 100644 (file)
--- a/mod/resource/lib.php
+++ b/mod/resource/lib.php
@@ -190,6 +190,8 @@ function resource_get_coursemodule_info($coursemodule) {
               $icon = mimeinfo("icon", $resource->reference);
            if ($icon != 'unknown.gif') {
                       $info->icon ="f/$icon";
+           } else if ($resource->type == WEBLINK or $resource->type == WEBPAGE) {
+                      $info->icon ="f/web.gif";
            }
        } else if ($resource->type == DIRECTORY) {
                   $info->icon ="f/folder.gif";