From 25dd6694e82caee356747e1b239bf43e8376e948 Mon Sep 17 00:00:00 2001
From: Karsten Nowak <kanow@users.noreply.github.com>
Date: Mon, 3 Feb 2025 15:41:58 +0100
Subject: [PATCH] [DOCS] Extend PHIVE section in docs (#1388)

Fixes #543
Fixes #429
---
 Documentation/DependencyManager.rst | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/Documentation/DependencyManager.rst b/Documentation/DependencyManager.rst
index 578f7ce..fbb8eb7 100644
--- a/Documentation/DependencyManager.rst
+++ b/Documentation/DependencyManager.rst
@@ -16,3 +16,18 @@ install or upgrade some tool as the tool's dependencies conflict with the
 dependencies on another library). It also allows running versions of tools
 that require a PHP version that is higher than the lowest allowed PHP version
 for this project.
+
+.. _using-phive-to-install-phpcov:
+
+Using PHIVE to install `phpunit/phpcov`
+=======================================
+
+To support php version 7.4 and 8.2 in the `tea` extension, we are using PHIVE
+to install `phpunit/phpcov`.
+We need `phpunit/phpcov` in version 10 to support php 8.2.
+Our minimum php version 7.4 would prevent the installation with composer.
+
+.. note::
+
+   To find more information about install and usage,
+   please check out the documentation of `PHIVE <https://phar.io>`__.