diff --git a/mod/page/lib.php b/mod/page/lib.php index 4512f5e7fca..cd027956165 100644 --- a/mod/page/lib.php +++ b/mod/page/lib.php @@ -231,18 +231,6 @@ function page_user_complete($course, $user, $mod, $page) { } } -/** - * Returns the users with data in one page - * - * @todo: deprecated - to be deleted in 2.2 - * - * @param int $pageid - * @return bool false - */ -function page_get_participants($pageid) { - return false; -} - /** * Given a course_module object, this function returns any * "extra" information that may be needed when printing