Subject: Re: [PATCH 03/15] remote-mediawiki doc: bump recommended PHP version to 7.3

From: Đoàn Trần Công Danh <[email-masked]>
Date: Wed, 16 Sep 2020 20:47:30 +0700

On 2020-09-16 12:29:06+0200, Ævar Arnfjörð Bjarmason <[email-masked]> wrote:
> Change the version in the documentation to what's currently in Debian
> stable. Ideally we wouldn't have to keep changing this version, but if
> it's going to be hardcoded let's use something that works on a modern
> installation.
> 
> Signed-off-by: Ævar Arnfjörð Bjarmason <[email-masked]>
> ---
>  contrib/mw-to-git/t/README | 10 +++++-----
>  1 file changed, 5 insertions(+), 5 deletions(-)
> 
> diff --git a/contrib/mw-to-git/t/README b/contrib/mw-to-git/t/README
> index 2ee34be7e4..d9c85e2c63 100644
> --- a/contrib/mw-to-git/t/README
> +++ b/contrib/mw-to-git/t/README
> @@ -14,11 +14,11 @@ install the following packages (Debian/Ubuntu names, may need to be
>  adapted for another distribution):
>  
>  * lighttpd
> -* php5
> -* php5-cgi
> -* php5-cli
> -* php5-curl
> -* php5-sqlite
> +* php7.3
> +* php7.3-cgi
> +* php7.3-cli
> +* php7.3-curl
> +* php7.3-sqlite

Debian also provides meta package for those packages, built from
php-defaults [1]:

* php
* php-cgi
* php-cli
* php-curl
* php-sqlite3

They'll pull current php7.3-* packages as dependencies.

1: https://packages.debian.org/source/buster/php-defaults

-- 
Danh