Sorry if this sounds like a really silly question.
But I Googled the web and also Googled specifically both the php.net site and the stackoverflow.com site.
Closest thing I can find to an 'official' mention of PHP's short-circuit implementation: http://php.net/manual/en/language.operators.logical.php