make some variables global for 5305

diff --git a/admin/utfdbmigrate.php b/admin/utfdbmigrate.php
index 32678ab2b6ac701b913c2e5f6dd7a51673119c0c..7aaebbdb85366253f07976b73d033e1802a476d0 100755 (executable)
--- a/admin/utfdbmigrate.php
+++ b/admin/utfdbmigrate.php
@@ -837,7 +837,7 @@ function get_user_lang($userid) {
 
 // a placeholder for now
 function log_the_problem_somewhere() {  //Eloy: Nice function, perhaps we could use it, perhpas no. :-)
-    global $CFG;
+    global $CFG, $dbtablename, $fieldname, $recordid;
     if ($CFG->debug>7) {
         echo "<br />Problem converting: $dbtablename -> $fieldname -> $recordid!";
     }