Markus Podar ae5d7708b7 Remove format and broken generateJsonHelper (#1053) ...

The JSON generate doesn't work, always generates an empty list.

I looked a bit around and seems changes around 3 years ago broke it.

Since there was no bug report ever about this, I conclude this feature
isn't used and suggest to remove it.

This also changes the config `filename` as there's no need for the
extension-less version and the format is gone too. This change is
backwards compatible as we just add back the `.php` in case it's missing
though users are encouraged to update it.

2020-12-04 09:54:50 +01:00

..

ide-helper.php

Remove format and broken generateJsonHelper (#1053)

2020-12-04 09:54:50 +01:00