this is imho not needed, a comment in PHPFilter or readme should be enough