remove old extension file before building new php version#779

henderkes merged 1 commit intomaincrazywhalecc/static-php-cli:mainfrom

docscrazywhalecc/static-php-cli:docsCopy head branch name to clipboard