PHP 7.2 builds
PPA description
A php-7.2 packages.
It can be installed with other my php build versions.
Even with system version.
Or it can pretend to be system version.
If you want to use PHP packages you'll need to add ppa:
- ppa:sergey-
If you want to rebuild PHP packages you'll need to add ppa:
- ppa:sergey-
To control enabled modules - use cute tool - php-modset (php72-modset).
To use php-7.2 as system PHP - install `*php72p*` packages.
They provide alias names like system packages.
On systems with php-5 only - they not. Be careful.
If you want use additional extensions you'll need add one of PPAs:
- ppa:sergey-
- ppa:sergey-
Build is Not-Thread-Safe. So it will work only with 'prefork' or 'itk' apache mpm.
== Attention! ==
@2020-02-21
Disable session garbage collector by default. Default directory cleaned by cron scripts.
You should set option `session.
If your site uses custom session save path.
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:sergey-dryabzhinsky/php72 to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:sergey-dryabzhinsky/php72 sudo apt-get update
For questions and bugs with software in this PPA please contact SergeyD.
PPA statistics
- Activity
- 0 updates added during the past month.
Overview of published packages
1 → 4 of 4 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
|
7.2.34-0sergeyd10.12~20.04.1 | SergeyD (2020-12-18) |
|
7.2.34-0sergeyd10.12~18.04.1 | SergeyD (2020-12-01) |
|
7.2.34-0sergeyd10.12~16.04.1 | SergeyD (2020-12-01) |
|
7.2.34-0sergeyd10.12~14.04.1 | SergeyD (2020-11-30) |
1 → 4 of 4 results | First • Previous • Next • Last |