diff --git a/lib/ajax/ajaxlib.php b/lib/ajax/ajaxlib.php
index f863b847b80..132d6bccce0 100644
--- a/lib/ajax/ajaxlib.php
+++ b/lib/ajax/ajaxlib.php
@@ -34,7 +34,7 @@ function print_require_js($list) {
echo "\n";
}
}
-
+ /*
if (debugging('', DEBUG_DEVELOPER)) {
echo "\n";
@@ -48,13 +48,13 @@ function print_require_js($list) {
echo "\n";
?>