8.3.35: missing updates?

[tianon]

Affected Page URL

https://www.php.net/releases/index.php?json&max=100&version=8.3

Describe the bug

The releases API doesn't list 8.3.35 - only 8.3.33.

It looks like 967eedf needed to update a few more files, notably include/version.inc like 0e3b395 and friends did? 😅

Steps to reproduce

$ wget -qO- 'https://www.php.net/releases/index.php?json&max=100&version=8.3' | jq 'keys_unsorted[:3]'
[
  "8.3.33",
  "8.3.32",
  "8.3.31"
]

Expected behavior

$ wget -qO- 'https://www.php.net/releases/index.php?json&max=100&version=8.3' | jq 'keys_unsorted[:3]'
[
  "8.3.35",
  "8.3.33",
  "8.3.32"
]

Screenshots

No response

Additional context

No response

[tianon]

cc @bukka 🙇 ❤️

[tianon]

I opened a PR at #2026 in case that makes this easier to fix -- I'm totally fine if that gets closed instead, though! 🙇 ❤️

[bukka]

Ah sorry, needed to do reset due to mix up of local PHP and doing other things together with this. Thanks for the fix @sy-records