¿Se explica este comportamiento php en algún lugar en el manual? (cadenas con comparación de ceros)

Por que para php

'00' == '0000'

expresión estrue?

¿Se explica en alguna parte en el manual?

NOTA:

esta:

Si compara un número con una cadena o la comparación involucra cadenas numéricas, entonces cada cadena se convierte en un número y la comparación se realiza numéricamente

No es adecuado para el caso, ambos operandos son cadenas.

Respuestas a la pregunta(5)

Su respuesta a la pregunta