History log of /dokuwiki/lib/plugins/extension/GuiExtension.php (Results 1 – 14 of 14)
Revision Date Author Comments
# f7f57de8 21-May-2025 Andreas Gohr <gohr@cosmocode.de>

fix extension manager styles with overlong content

URL change notices didn't break and could push the action buttons out of
the layout.


# dc192200 17-Dec-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: style improvements

* use SVG for popularity, a bit more muted color style
* different error icon
* colors for message icons
* lazy load screenshots


# d2d4b908 10-Dec-2024 Andreas Gohr <andi@splitbrain.org>

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 ...


# 3e63733d 04-Dec-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: correctly handle component types

There were a few missing and they were also missing from the detail
list. Searching for components using the type: prefix now works.


# 7c184cfc 22-Nov-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: (automatic) code style fixes


# 7c995fc8 22-Nov-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: small language adjustments


# 8fe483c9 22-Nov-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: updated tests


# 5732c960 21-Nov-2024 Andreas Gohr <andi@splitbrain.org>

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 ...


# 652715cc 21-Nov-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: added the last missing GUI tabs


# 80bc92fb 20-Nov-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: add installer to GUI

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


# 00929f2e 20-Nov-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: some more work on styling


# 981e70ca 08-Aug-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: overhauled list display style

The GUI is still not fully functional again.


# 20db0ca9 08-Aug-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: some first attempts at styling

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


# 4fd6a1d7 25-Apr-2024 Andreas Gohr <andi@splitbrain.org>

Extension Manager: First go at reimplementing the GUI

still a long road ahead