No download to PHP 7.3

[Twistler78]

Issue description

• Expected result: For some reason there is no download for PHP 7.3 at https://jenkins.pmmp.io/job/PHP-7.3-Aggregate/
• Actual result: There is supposed to be a download for PHP 7.3 at https://jenkins.pmmp.io/job/PHP-7.3-Aggregate/

Steps to reproduce the issue

1. Add the download back

OS and versions

• PocketMine-MP: 3.x.x
• PHP: 7.3.x
• Server OS: Windows

Plugins

• If you remove all plugins, does the issue still occur?
• If the issue is not reproducible without plugins:
  • It has nothing to do with plugins.

[Jviguy]

There is supposed to be a download for PHP 7.3 Where is it stated that there is meant to be a download there.

[dktapps]

We don't supply 7.3 anymore.

[Twistler78]

We don't supply 7.3 anymore.

Where do I download it then?

[Twistler78]

There is supposed to be a download for PHP 7.3 Where is it stated that there is meant to be a download there.

It says it here https://pmmp.readthedocs.io/en/rtfd/links.html