Extension Manager: fix incorrect import

Extension Manager: (automatic) code style fixes

Extension Manager: small language adjustments

Extension Manager: updated tests

Extension Manager: adjust javascript and images

This simpliefies the view options into a single filter, which toggles
between all and updatable extensions. This should be less confusing and
is what

Extension Manager: adjust javascript and images

This simpliefies the view options into a single filter, which toggles
between all and updatable extensions. This should be less confusing and
is what most people use anyway.

Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.

show more ...

Extension Manager: removed obsolete code

Extension Manager: added the last missing GUI tabs

Extension Manager: check repo access in handle()

Still need to check if the behaviour on missing internet works okay.

Extension Manager: Template GUI

template tab works now, fixed installed status

Extension Manager: add installer to GUI

Now the GUI uses the new Installer class. More work has been done on
the GUI itself

Extension Manager: some more work on styling

Extension Manager: by default skip all git controlled extensions

Extension Manager: overhauled list display style

The GUI is still not fully functional again.

Extension Manager: some first attempts at styling

I'm not really happy yet, but it will be improved in coming commits

Extension Manager: First go at reimplementing the GUI

still a long road ahead

Extension Manager: ensure php requirements before installing

This makes use of the new minphp and maxphp fields in the info.txt

Extension Manager: CLI now should completely use new classes

Extension Manager: make installation work again

The Installer class now also handles dependencies

Extension Manager: list warnings on CLI

Extension Manager: more refactoring

started to migrate the CLI over to the new classes

ExtensionManager: allow initialization using an ID only

This is a more convenient method

First start at refactoring the extension manager

The aim is to readd the existing functionality into proper classes, then
extend from there.

translation update

translation update

translation update