Change xmldb debugging to use the central debugging() function.

diff --git a/lib/datalib.php b/lib/datalib.php
index 1e22ba0c47ded37fc2444b285ac50624479ef41f..9113f094e3a4e0a62d411c3fb8631469a94bfc19 100644 (file)
--- a/lib/datalib.php
+++ b/lib/datalib.php
@@ -1734,7 +1734,7 @@ function category_parent_visible($parent = 0) {
  */
 function xmldb_debug($message, $object) {
 
-    error_log($message);
+    debugging($message, DEBUG_DEVELOPER);
 }
 
 /**