diff options
| author |  Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2020-09-21 12:39:45 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-09-21 12:37:38 -0700 |
| commit | e35973b2c93ce085ea491320d74a5a09bff18a47 (patch) | |
| tree | fdb92329af7803bd2b1de705cf75309abff39232 /contrib/mw-to-git | |
| parent | remote-mediawiki doc: link to MediaWiki's current version (diff) | |
| download | tgif-e35973b2c93ce085ea491320d74a5a09bff18a47.tar.xz | |
remote-mediawiki doc: don't hardcode Debian PHP versions
Change the hardcoded version 5 PHP versions to the version-agnostic
packages. Currently Debian stable's version is 7.3, and there's a
php7.3, php7.3-cli etc. package available (but no php5-*).
The corresponding version-less package is a dependency package which
depends on whatever the current stable version is. By not hardcoding
the version these instructions won't be out of date when the next
Debian/Ubuntu release happens.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/mw-to-git')
| -rw-r--r-- | contrib/mw-to-git/t/README | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/contrib/mw-to-git/t/README b/contrib/mw-to-git/t/README index 2ee34be7e4..72c4889db7 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 +* php +* php-cgi +* php-cli +* php-curl +* php-sqlite Principles and Technical Choices -------------------------------- |