PHP: Log message into file with variable length parameters