diff options
-rw-r--r-- | e244c19aec6a1f0a2ff9e498b9b4bed22537730a.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/e244c19aec6a1f0a2ff9e498b9b4bed22537730a.patch b/e244c19aec6a1f0a2ff9e498b9b4bed22537730a.patch new file mode 100644 index 0000000..42c902f --- /dev/null +++ b/e244c19aec6a1f0a2ff9e498b9b4bed22537730a.patch @@ -0,0 +1,22 @@ +From e244c19aec6a1f0a2ff9e498b9b4bed22537730a Mon Sep 17 00:00:00 2001 +From: Sebastian Bergmann <sb@sebastian-bergmann.de> +Date: Sun, 7 Jan 2018 18:10:51 +0100 +Subject: [PATCH] Closes #398 + +--- + tests/Generator/397.phpt | 3 +++ + 1 file changed, 3 insertions(+) + +diff --git a/tests/Generator/397.phpt b/tests/Generator/397.phpt +index 1259e6f..71e32a4 100644 +--- a/tests/Generator/397.phpt ++++ b/tests/Generator/397.phpt +@@ -1,5 +1,8 @@ + --TEST-- + https://github.com/sebastianbergmann/phpunit-mock-objects/issues/397 ++--SKIPIF-- ++<?php ++if (!version_compare(PHP_VERSION, '7.1', '>=')) print 'skip: PHP >= 7.1 required'; + --FILE-- + <?php + class C |