diff --git a/lib/util.php b/lib/util.php index 01e2df7bfc..224ed32061 100755 --- a/lib/util.php +++ b/lib/util.php @@ -1,4 +1,7 @@