diff --git a/lib/adminlib.php b/lib/adminlib.php index 9fbe1d9bc2c..1fce4e7cd0b 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -1,10 +1,9 @@ -