[Ayesh]

Yes, we all did. The commit containing the backdoor was reverted with a new commit. See c730aa26bd and 2b0f239b on `php/php-src` repo on GitHub.