diff --git a/lib/adminlib.php b/lib/adminlib.php index 9c53c36314b..87cb0964dac 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -1,5 +1,4 @@