I don't know anything that needs it; I just noticed it in php-src and made a note of it.