diff -r 496f30992bfa -r ffbd8565b65f web/enmi/index.php --- a/web/enmi/index.php Tue Jun 14 14:55:26 2011 +0200 +++ b/web/enmi/index.php Wed Jun 15 13:38:14 2011 +0200 @@ -288,7 +288,7 @@