From 7cf077177f6ae0152fd219d14958c05062bfec4d Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Sat, 6 Jul 2019 14:13:05 +0200
Subject: [PATCH] Add missing default value

---
 phpunit.xsd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpunit.xsd b/phpunit.xsd
index 07bd13a8e08..ceafb101110 100644
--- a/phpunit.xsd
+++ b/phpunit.xsd
@@ -233,7 +233,7 @@
         <xs:attribute name="bootstrap" type="xs:anyURI"/>
         <xs:attribute name="cacheResult" type="xs:boolean" default="false"/>
         <xs:attribute name="cacheResultFile" type="xs:anyURI"/>
-        <xs:attribute name="cacheTokens" type="xs:boolean"/>
+        <xs:attribute name="cacheTokens" type="xs:boolean" default="false"/>
         <xs:attribute name="colors" type="xs:boolean" default="false"/>
         <xs:attribute name="columns" type="columnsType" default="80"/>
         <xs:attribute name="convertDeprecationsToExceptions" type="xs:boolean" default="true"/>