Report question

Question: Is this special treatment of exit and die documented in PHP?