course/lib.php: remove unused global

diff --git a/course/lib.php b/course/lib.php
index 9817747cb86a00194b1e387b3647d97c4ed1a30e..6e4a20e37831c67163b41efb67ef513952f59a66 100644 (file)
--- a/course/lib.php
+++ b/course/lib.php
@@ -263,8 +263,6 @@ function build_logs_array($course, $user=0, $date=0, $order="l.time ASC", $limit
     // It is assumed that $date is the GMT time of midnight for that day,
     // and so the next 86400 seconds worth of logs are printed.
 
-    global $db;
-
     /// Setup for group handling.
     
     /// If the group mode is separate, and this user does not have editing privileges,