--- setup-config.php 2008-07-10 18:59:17.000000000 +0200 +++ setup-config.php 2008-07-25 09:46:31.000000000 +0200 @@ -90,7 +90,7 @@