Nemo 81b5c4d122 [php] Switches to a custom PHP automation ...

This uses the PHP releases API. Limitations:

1. New Major versions will needed to be added manually

The src for the API is at https://github.com/php/web-php/blob/master/releases/index.php
The data comes from https://github.com/php/web-php/blob/master/include/releases.inc

This commit keeps the old sort method for a cleaner diff. Next commits
in this PR will fix the sorting to be standardized.

The difference from using tags is:

1. One additional version shows up (4.0.4) which we'd missed previously
   due to being tagged as php-4.0.4REL.
2. Slightly more accurate dates.

2023-04-18 18:36:03 +05:30

7.2 KiB

Raw Blame History

View Raw