From 4db5921524a3873a098113037afaff81339a67ac Mon Sep 17 00:00:00 2001
From: Demian Katz <demian.katz@villanova.edu>
Date: Thu, 19 Sep 2019 08:28:46 -0400
Subject: [PATCH] Switch to working version of PHPDocumentor.

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index e25aabfa474..595ed1cc731 100644
--- a/build.xml
+++ b/build.xml
@@ -28,7 +28,7 @@
   <property name="solr_startup_sleep" value="0" />
   <property name="solr_version" value="7.3.1" />
   <property name="skip_phpdoc" value="false" />
-  <property name="phpdoc_version" value="2.9.0" />
+  <property name="phpdoc_version" value="3.0.0-alpha.4" />
 
   <property name="version" value="6.0" />
 
-- 
GitLab