Is this php behaviour explained somewhere in manual? (strings with zeroes comparison)

Question

Why for php

\'00\' == \'0000\'

expression is true?

Is it explained somewhere in manual?

NOTE:

Answer 1

It's also good to remember that

If you compare a number with a string or the comparison involves numerical strings, then each string is converted to a number and the comparison performed numerically. These rules also apply to the switch statement. The type conversion does not take place when the comparison is === or !== as this involves comparing the type as well as the value. enter link description here

But everything everyone else has said is correct!