Unreviewed. Support PHP 7.3 in Debian.
authorcarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Mon, 31 Dec 2018 14:53:38 +0000 (14:53 +0000)
committercarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Mon, 31 Dec 2018 14:53:38 +0000 (14:53 +0000)
commit5f5b117917752fde9d2b1e66830a2785ffc62387
treea13046e97a141ab3ab01641ad26f5151bdacd51a
parent599aa47f6555d382bd940577cc6c8d09bff6dad5
Unreviewed. Support PHP 7.3 in Debian.

Tools:

Add 7.3 to the list of php versions supported in Debian.

* Scripts/webkitpy/port/base.py:
(Port._debian_php_version):

LayoutTests:

* http/conf/debian-httpd-2.4-php7.3.conf: Added.

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@239566 268f45cc-cd09-0410-ab3c-d52691b4dbfc
LayoutTests/ChangeLog
LayoutTests/http/conf/debian-httpd-2.4-php7.3.conf [new file with mode: 0644]
Tools/ChangeLog
Tools/Scripts/webkitpy/port/base.py