From 94b24b4eae6e3b9bdb410f97a04cdac5f744f813 Mon Sep 17 00:00:00 2001
From: Clemens Schwaighofer <clemens.schwaighofer@egplusww.com>
Date: Wed, 4 Oct 2023 15:07:49 +0900
Subject: [PATCH] Basic documentation tools: phpdox/phpdocumentor installed for
 testing which is best

---
 .phive/phars.xml    | 2 ++
 tools/phpDocumentor | 1 +
 tools/phpdox        | 1 +
 3 files changed, 4 insertions(+)
 create mode 120000 tools/phpDocumentor
 create mode 120000 tools/phpdox

diff --git a/.phive/phars.xml b/.phive/phars.xml
index 017decfa..eaa049f0 100644
--- a/.phive/phars.xml
+++ b/.phive/phars.xml
@@ -6,4 +6,6 @@
   <phar name="phpstan" version="^1.10.37" installed="1.10.37" location="./tools/phpstan" copy="false"/>
   <phar name="phan" version="^5.4.2" installed="5.4.2" location="./tools/phan" copy="false"/>
   <phar name="psalm" version="^5.15.0" installed="5.15.0" location="./tools/psalm" copy="false"/>
+  <phar name="phpdox" version="^0.12.0" installed="0.12.0" location="./tools/phpdox" copy="false"/>
+  <phar name="phpdocumentor" version="^3.4.2" installed="3.4.2" location="./tools/phpDocumentor" copy="false"/>
 </phive>
diff --git a/tools/phpDocumentor b/tools/phpDocumentor
new file mode 120000
index 00000000..22107c75
--- /dev/null
+++ b/tools/phpDocumentor
@@ -0,0 +1 @@
+/home/clemens/.phive/phars/phpdocumentor-3.4.2.phar
\ No newline at end of file
diff --git a/tools/phpdox b/tools/phpdox
new file mode 120000
index 00000000..04ee9c4e
--- /dev/null
+++ b/tools/phpdox
@@ -0,0 +1 @@
+/home/clemens/.phive/phars/phpdox-0.12.0.phar
\ No newline at end of file