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>
pull/34895/head
Ferdinand Thiessen 2 years ago
parent 7c39e3e6bd
commit 7ea564b5ca

@ -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/

Loading…
Cancel
Save