--- filter_api.orig 2005-07-18 17:07:03.000000000 +0200 +++ filter_api.php 2005-07-18 17:06:15.000000000 +0200 @@ -753,7 +753,7 @@ ?> -