Update php-extensions.md