Issue #2193919 by jhodgdon: Use JSON-formatted function summary in PHP branches