From 50542ff06a17e72cea3f87dffa5e2629785706c7 Mon Sep 17 00:00:00 2001 From: Dan Poltawski Date: Mon, 3 Jan 2011 16:46:16 +0000 Subject: [PATCH] user/profile.php MDL-25847 - Missing library dependency --- user/profile.php | 1 + 1 file changed, 1 insertion(+) diff --git a/user/profile.php b/user/profile.php index 37b89d00d16..da41cb3bce9 100644 --- a/user/profile.php +++ b/user/profile.php @@ -37,6 +37,7 @@ require_once(dirname(__FILE__) . '/../config.php'); require_once($CFG->dirroot . '/my/lib.php'); require_once($CFG->dirroot . '/user/profile/lib.php'); +require_once($CFG->libdir.'/filelib.php'); $userid = optional_param('id', 0, PARAM_INT); $edit = optional_param('edit', null, PARAM_BOOL); // Turn editing on and off