Update php-cextensions.md