Update PHP source repository since PHP's git site was hacked.

This commit is contained in:
Jeff Geerling 2021-09-22 23:11:44 -05:00
parent c514141c00
commit 377516f0f5

View File

@ -106,7 +106,7 @@ php_display_startup_errors: "Off"
# Install PHP from source (instead of using a package manager) with these vars. # Install PHP from source (instead of using a package manager) with these vars.
php_install_from_source: false php_install_from_source: false
php_source_repo: "https://git.php.net/repository/php-src.git" php_source_repo: "https://github.com/php/php-src.git"
php_source_version: "master" php_source_version: "master"
php_source_clone_dir: "~/php-src" php_source_clone_dir: "~/php-src"
php_source_clone_depth: 1 php_source_clone_depth: 1