JSON summary is gone

Mailing Lists php.doc
1

Hello,

I am looking for https://doc.php.net/downloads/json/php_manual_en.json at least the Drupal project and the geany editor used it. Last summer it was still there: https://web.archive.org/web/20240625000039/https://doc.php.net/downloads/json/php_manual_en.json

Could someone please check where is it and whether it’d be possible to get it back?

Thanks

ChX

2

On Thu, 5 Jun 2025, Karoly Negyesi wrote:

Hello,

I am looking for https://doc.php.net/downloads/json/php_manual_en.json at
least the Drupal project and the geany editor used it. Last summer it was
still there:
Wayback Machine

Could someone please check where is it and whether it'd be possible to get
it back?

I had a look, and found the script to do that
(systems/gen-ide-json.php at master · php/systems · GitHub). But I
didn't find any place where it was actually run.

I suspect it might not have been ran for a long time, as the script last
was updated 13 years ago.

The script itself refers to all sort of directories that I have no clue
what they are.

So I'm afraid you're out of luck here.

cheers,
Derick