Rename php-extensions.md to php-cextensions.md