diff --git a/lib/adminlib.php b/lib/adminlib.php index 5a3bb244a9fb2..f5f8bbb14d9a2 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -3225,11 +3225,13 @@ public function output_html($data, $query='') { } $return = '
'. + '' . '::