--- lib.php 2013-01-02 00:15:43.000000000 +0100 +++ lib-new.php 2013-01-02 00:16:20.000000000 +0100 @@ -1393,7 +1392,7 @@ echo "