Re: [PATCH 03/15] remote-mediawiki doc: bump recommended PHP version to 7.3
From: Junio C Hamano <hidden>
Date: 2020-09-16 20:42:03
Đoàn Trần Công Danh [off-list ref] writes:
On 2020-09-16 12:29:06+0200, Ævar Arnfjörð Bjarmason [off-list ref] wrote:quoted
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 <redacted> --- 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.