Use the official phpDocumentor release

The previous cached version download URL was broken and only a
non-functional version was downloaded leading and so the API reference
was not updated since NC24.

This is fixed by simply using the latest stable phpDocumentor release.

Signed-off-by: Ferdinand Thiessen <rpm@fthiessen.de>

diff --git a/build/phpDocumentor.sh b/build/phpDocumentor.sh
index 7c70224c76d3f4a2b1e131a8a6cbb2554b58b40c..533e5f5a5c7f764fb11859cd78aaf33758032ec6 100755 (executable)
--- a/build/phpDocumentor.sh
+++ b/build/phpDocumentor.sh
@@ -1,10 +1,6 @@
 #!/bin/bash
 
-# Use a cached version of phpDocumentor for now since there is no release yet
-# and the github actions artifacts might disappear
-# This phar is downloaded from https://github.com/phpDocumentor/phpDocumentor/actions/runs/221599704
-
-wget https://bitgrid.net/~jus/phpDocumentor.phar
+wget https://phpdoc.org/phpDocumentor.phar
 
 mkdir -p api/