Tiny hack to make $course work OK in file resources (print_header)

Should be replaced with proper global $COURSE in 1.5

mod/resource/type/file/resource.class.php

@@ -178,7 +178,7 @@ function update_instance($resource) {
 * @param    THEME   global object
 */
 function display() {
-    global $CFG, $THEME;
+    global $CFG, $THEME, $course;
 
 /// Set up generic stuff first, including checking for access
     parent::display();