Re: JSON summary is gone

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:
> 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?

I had a look, and found the script to do that 
(https://github.com/php/systems/blob/master/gen-ide-json.php). 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