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

From: Junio C Hamano <gitster@pobox.com>
Date: Sep 16, 2020, 20:41 UTC
Message-ID: <xmqqlfh9wj20.fsf@gitster.c.googlers.com>
In-Reply-To: <20200916134730.GA10150@danh.dev>

Đoàn Trần Công Danh  <congdanhqx@gmail.com> writes:

Show 30 quoted lines

> On 2020-09-16 12:29:06+0200, Ævar Arnfjörð Bjarmason <avarab@gmail.com> 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 <avarab@gmail.com>
>> ---
>>  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):
>> ...
> 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

Looks like a good way to go.  Thanks.