From a91d5a8194ca0ae43c00ecfa69480ff13344438b Mon Sep 17 00:00:00 2001 From: Nat Zimmermann Date: Sat, 9 Jun 2018 16:58:41 +0100 Subject: [PATCH] Fix property name --- run-tests.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index 87bd8daa1f3..02f5b1287fd 100644 --- a/run-tests.php +++ b/run-tests.php @@ -2980,7 +2980,7 @@ class RuntestsValgrind { protected $version = ''; protected $header = ''; protected $version_3_3_0 = false; - protected $verison_3_8_0 = false; + protected $version_3_8_0 = false; public function getVersion() { return $this->version;