git diff lib/accesslib.php
diff --git a/lib/accesslib.php b/lib/accesslib.php
index c082e3f..bb9bc84 100644
— a/lib/accesslib.php
+++ b/lib/accesslib.php
@@ -1272,8 +1272,6 @@ function get_user_access_bycontext($userid, $context, $acc=NULL) {
// but the cost of re-fetching is minimal so we don't care.
// ... for now!
//

• $targetpath;
• $targetlevel;
  if ($context->contextlevel === CONTEXT_COURSE) {
  $targetpath = $context->path;
  $targetlevel = $context->contextlevel;