diff --git a/general/prog/php.xml b/general/prog/php.xml index 92e54b16b2..21f91c3602 100644 --- a/general/prog/php.xml +++ b/general/prog/php.xml @@ -6,10 +6,10 @@ - - - - + + + + ]> diff --git a/introduction/welcome/changelog.xml b/introduction/welcome/changelog.xml index aead5447ab..9e6edbdfe5 100644 --- a/introduction/welcome/changelog.xml +++ b/introduction/welcome/changelog.xml @@ -44,6 +44,10 @@ December 6th, 2018 + + [bdubbs] - Update to php-7.3.0. Fixes + #11413. + [bdubbs] - Update to wireshark-2.6.5. Fixes #11391. diff --git a/packages.ent b/packages.ent index 87d429cfc9..ea7b1a7e70 100644 --- a/packages.ent +++ b/packages.ent @@ -334,7 +334,7 @@ to avoid building libxml2 twice, which is slow with all deps --> - +