From ab4ded90f2e4ace3b90098cf1eea79d977255648 Mon Sep 17 00:00:00 2001
From: Timm Friebe <thekid@thekid.de>
Date: Sun, 6 Jul 2014 14:46:34 +0200
Subject: [PATCH] Add support for PHP's 'extended information for
 debugger/profiler' mode

---
 run-tests.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/run-tests.php b/run-tests.php
index f4e1599c53d..56aa123bac0 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -594,6 +594,9 @@ if (isset($argc) && $argc > 1) {
 					}
 					$pass_option_n = true;
 					break;
+				case 'e':
+					$pass_options .= ' -e';
+					break;
 				case '--no-clean':
 					$no_clean = true;
 					break;