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 /t/t4013/diff.diff_initial..side | |
| parent | remote-mediawiki doc: link to MediaWiki's current version (diff) | |
| download | git-e35973b2c93ce085ea491320d74a5a09bff18a47.tar.gz git-e35973b2c93ce085ea491320d74a5a09bff18a47.zip | |
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 't/t4013/diff.diff_initial..side')
0 files changed, 0 insertions, 0 deletions