diff --git a/lib/setup.php b/lib/setup.php index d7aa4d6692f..344c8ece4e1 100644 --- a/lib/setup.php +++ b/lib/setup.php @@ -8,8 +8,6 @@ // // Normally this file does not need to be edited. // -// XXX this might need some rationalisation -// ////////////////////////////////////////////////////////////// // Error reporting and bug hunting