Fix #187

fix issue that occurs during upgrade.
danmarsden · Jul 24, 2024 · 5214161 · 5214161
1 parent ff08a5f
commit 5214161
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/db/upgrade.php b/db/upgrade.php
@@ -29,7 +29,7 @@
  * @return bool
  */
 function xmldb_local_recompletion_upgrade($oldversion) {
-    global $DB;
+    global $DB, $OUTPUT;
 
     $dbman = $DB->get_manager();