Where did this file come from? I don't see it in the `php-src` repo. I'm trying to keep this directory as just files from php-src mirrored into us. Is it an extension? If so, put it inline with `yaml` and the others.