diff options
Diffstat (limited to 'php54.patch')
| -rw-r--r-- | php54.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/php54.patch b/php54.patch deleted file mode 100644 index 317aafe..0000000 --- a/php54.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up tests/10-event-data-dtor.phpt.old tests/10-event-data-dtor.phpt ---- tests/10-event-data-dtor.phpt.old 2018-05-24 10:02:40.399787966 +0200 -+++ tests/10-event-data-dtor.phpt 2018-05-24 10:02:52.253859826 +0200 -@@ -11,7 +11,7 @@ class _Indicator { - $this->i = $i; - } - public function __destruct() { -- echo $this->i, "\n"; -+ echo "" . $this->i . "\n"; - } - } - |