More PHP Doc comments.