From 7ea564b5ca17ea15f2af75948186bf0760275321 Mon Sep 17 00:00:00 2001 From: Ferdinand Thiessen Date: Mon, 31 Oct 2022 12:51:38 +0100 Subject: [PATCH] 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 --- build/phpDocumentor.sh | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/build/phpDocumentor.sh b/build/phpDocumentor.sh index 7c70224c76d..533e5f5a5c7 100755 --- 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/ -- 2.39.5