--- general_stuff.php 2007-01-30 15:08:15.000000000 +0100 +++ general_stuff.php-patch 2007-02-26 15:24:24.000000000 +0100 @@ -82,7 +82,7 @@