Extension Manager: use characters for messages

As pointed out in
https://github.com/dokuwiki/dokuwiki/pull/4358#issuecomment-2528848505
using Unicode Symbols for message status might not be ideal. T

Extension Manager: use characters for messages

As pointed out in
https://github.com/dokuwiki/dokuwiki/pull/4358#issuecomment-2528848505
using Unicode Symbols for message status might not be ideal. This patch
uses upper case letters instead and SVGs in the GUI manager.

show more ...

Extension Manager: adjust notice strings

Because notices are shown on command line as well as in the admin GUI,
we can not use HTML in them. This adjusts the affected language strings
and removes th

Extension Manager: adjust notice strings

Because notices are shown on command line as well as in the admin GUI,
we can not use HTML in them. This adjusts the affected language strings
and removes the previously used clean up routine.

show more ...

Extension Manager: show updatemessage for installed extensions only

Extension Manager: (automatic) code style fixes

Extension Manager: updated tests

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: overhauled list display style

The GUI is still not fully functional again.

Extension Manager: First go at reimplementing the GUI

still a long road ahead