From 073813d0ea1b505ae2eee4bbcc8e7cf9b5dcb4e9 Mon Sep 17 00:00:00 2001
From: jgen <jeffgenovy@gmail.com>
Date: Mon, 17 Feb 2014 01:49:16 -0500
Subject: [PATCH] Fix the warning that these variables aren't defined.

---
 ext/simpletest/theme.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ext/simpletest/theme.php b/ext/simpletest/theme.php
index 445e4256..de1573ea 100644
--- a/ext/simpletest/theme.php
+++ b/ext/simpletest/theme.php
@@ -7,6 +7,8 @@ class SCoreWebReporter extends HtmlReporter {
 	var $current_html = "";
 	var $clear_modules = array();
 	var $page;
+	var $fails;
+	var $exceptions;
 
 	public function SCoreReporter(Page $page) {
 		$this->page = $page;