Change Details

For devserver role, d893d8bf7b60ff8678e599a939ca361328e63bbe offers to deploy phpdox as a .phar release. But instead of the documented 0.12.0, we've a /opt/phpdox providing 0.12.1-dev. Meanwhile, the CI job for Notifications Center fails under PHP 8.2.4: ``` [phpdox] PHP Version: 8.2.4 (Linux) [phpdox] PHPDox Version: 0.12.0 [phpdox] Exception: Error (Code: 0) [phpdox] Location: phar:///opt/phpdox.phar/phpdox/shared/Environment.php (Line 46) [phpdox] [phpdox] Call to undefined function TheSeer\phpDox\xdebug_disable() [phpdox] [phpdox] #0 phar:///opt/phpdox.phar/phpdox/CLI.php(50): TheSeer\phpDox\Environment->ensureFitness() [phpdox] #1 /opt/phpdox.phar(484): TheSeer\phpDox\CLI->run() ``` And: ``` [phpdox] PHP Version: 8.2.4 (Linux) [phpdox] PHPDox Version: 0.12.0 [phpdox] ErrorException: E_DEPRECATED [phpdox] Location: phar:///opt/phpdox.phar/phpdox/shared/FileInfo.php (Line 82) [phpdox] [phpdox] Return type of TheSeer\phpDox\FileInfo::getPathInfo($class_name = null): void should either be compatible with SplFileInfo::getPathInfo(?string $class = null): ?SplFileInfo, or the #[\ReturnTypeWillChange] attribute should be used to temporarily suppress the notice [phpdox] [phpdox] No stacktrace available ```