diff -r ac3cbc7f3e22 -r 80fb43f1be6a web/index.php --- a/web/index.php Wed Apr 27 15:16:15 2011 +0200 +++ b/web/index.php Wed Apr 27 15:38:44 2011 +0200 @@ -212,16 +212,6 @@