diff options
| author | Max Rees <maxcrees@me.com> | 2020-03-25 07:26:01 +0000 |
|---|---|---|
| committer | Max Rees <maxcrees@me.com> | 2020-04-05 12:22:26 +0000 |
| commit | 1898956d4fb51404a527e909230781848a9d3118 (patch) | |
| tree | 809d21e6b0aa650fd626123b63b43b5cf64bf133 /user/php7/fix-tests-devserver.patch | |
| parent | 7f8d4d642ad643f553e0fe74c0d48d59c81d178c (diff) | |
| download | packages-1898956d4fb51404a527e909230781848a9d3118.tar.gz packages-1898956d4fb51404a527e909230781848a9d3118.tar.bz2 packages-1898956d4fb51404a527e909230781848a9d3118.tar.xz packages-1898956d4fb51404a527e909230781848a9d3118.zip | |
user/php7: bump to 7.4.4
* Use system libgd
* Use system oniguruma
* Upstream has migrated from pcre to pcre2
* Drop comments about extensions that aren't being built (imap, recode,
sodium, tidy)
* Drop php7-wddx (has been removed from core upstream)
* Drop php7-litespeed (I don't think anyone uses this)
* Pin subpackage versions to main package
* Fix _extensions_by_load_order so all extensions are tested
* This increases the test suite size from ~ 9000 to ~ 15000
* Add additional API/ABI checks from Fedora
Diffstat (limited to 'user/php7/fix-tests-devserver.patch')
| -rw-r--r-- | user/php7/fix-tests-devserver.patch | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/user/php7/fix-tests-devserver.patch b/user/php7/fix-tests-devserver.patch deleted file mode 100644 index 80a72f0f1..000000000 --- a/user/php7/fix-tests-devserver.patch +++ /dev/null @@ -1,23 +0,0 @@ -From: Jakub Jirutka <jakub@jirutka.cz> -Date: Mon, 01 May 2017 01:33:00 +0200 -Subject: [PATCH] Fix tests failing due to extra message from built-in web server - -Remove messages like: - - PHP 7.1.4 Development Server started at Mon May 1 00:42:39 2017 - -from test outputs, because tests do not expect them. I have no clue what -happens here... - ---- a/run-tests.php -+++ b/run-tests.php -@@ -2005,6 +2005,9 @@ - // Does the output match what is expected? - $output = preg_replace("/\r\n/", "\n", trim($out)); - -+ // Remove message from built-in development server. -+ $output = preg_replace("/^PHP [0-9.]+ Development Server started at .*\n\n?/m", "", $output); -+ - /* when using CGI, strip the headers from the output */ - $headers = array(); - |