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

Because when you compare this strings they become zeros on both sides so 0 == 0 is true, try to use '00' === '0000' here is link