Merge pull request #62887 from etu/php72-to-php73

php: Upgrade to php73 as default php
This commit is contained in:
Robin Gloster 2019-06-09 15:06:38 +00:00 committed by GitHub
commit 2e49cb9772
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 4 deletions

View file

@ -23,6 +23,11 @@
End of support is planned for end of April 2020, handing over to 20.03.
</para>
</listitem>
<listitem>
<para>
PHP now defaults to PHP 7.3, updated from 7.2.
</para>
</listitem>
</itemizedlist>
</section>

View file

@ -8391,8 +8391,8 @@ in
pachyderm = callPackage ../applications/networking/cluster/pachyderm { };
php = php72;
phpPackages = php72Packages;
php = php73;
phpPackages = php73Packages;
php71Packages = recurseIntoAttrs (callPackage ./php-packages.nix {
php = php71;
@ -8427,7 +8427,7 @@ in
php72
php73;
php-embed = php72-embed;
php-embed = php73-embed;
php71-embed = php71.override {
config.php.embed = true;
@ -8444,7 +8444,7 @@ in
config.php.apxs2 = false;
};
php-unit = php72-unit;
php-unit = php73-unit;
php71-unit = php71.override {
config.php.embed = true;