php: Upgrade to php73 as default php

This commit is contained in:
Elis Hirwing 2019-06-09 11:14:43 +02:00
parent 17c0a1f812
commit 40af20b472
No known key found for this signature in database
GPG Key ID: D57EFA625C9A925F
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;