Update built-ins to 1.88.1 level

tsmaeder commented 3 months ago

What it does

Updates the built-in versions for download:plugins to 1.88.1 level. Also removes the explicit downloads of extensions which are included in the extension packs.

Contributed on behalf of ST Microelectronics

How to test

Delete the plugins folder in you Theia installation and run yarn download:plugins. The download should proceed normally and Theia should function as usual.

Follow-ups

Review checklist

[x] As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

As a reviewer, I agree to behave in accordance with the review guidelines

tsmaeder commented 3 months ago

I filed an issue about the exception: it does not seem to have any effect, though.

tsmaeder commented 3 months ago

Seems the integration tests are not happy. I'll have a look.

eclipse-theia / theia