Create php-extensions.md