Changeset 1084 for devel/mod/file
- Timestamp:
- 04/23/07 15:02:21 (2 years ago)
- Files:
-
- devel/mod/file/lib.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
devel/mod/file/lib.php
r1081 r1084 17 17 18 18 19 if (isloggedin() && user_info("user_type",$_SESSION['userid']) != "external") {19 if (isloggedin()) { 20 20 if (defined("context") && context == "files" && $page_owner == $_SESSION['userid']) { 21 21 $PAGE->menu[] = array( 'name' => 'files',
