en Copyright 2025 Java http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#093fe67e98c0cdb4b73fd46938e49b64971483c2 updated rector and applied it List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Sat, 07 Mar 2026 20:26:13 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#f7f57de8479f2faaf7cd989cbe605004194be3a9 fix extension manager styles with overlong contentURL change notices didn't break and could push the action buttons out ofthe layout. List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Wed, 21 May 2025 12:13:30 +0000 Andreas Gohr <gohr@cosmocode.de> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#dc19220032f21053c2bd43e0c265c24a51c90f33 Extension Manager: style improvements* use SVG for popularity, a bit more muted color style* different error icon* colors for message icons* lazy load screenshots List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Tue, 17 Dec 2024 10:23:20 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#d2d4b908d117b646962dcc1e17aec0fae72c60d3 Extension Manager: use characters for messagesAs pointed out inhttps://github.com/dokuwiki/dokuwiki/pull/4358#issuecomment-2528848505using Unicode Symbols for message status might not be ideal. This patchuses upper case letters instead and SVGs in the GUI manager. List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Tue, 10 Dec 2024 15:31:59 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#3e63733dc277872f88f60e618798f71311214102 Extension Manager: correctly handle component typesThere were a few missing and they were also missing from the detaillist. Searching for components using the type: prefix now works. List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Wed, 04 Dec 2024 12:16:07 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#7c184cfca36dde23d8ddd540c4826dfe1f86e2e3 Extension Manager: (automatic) code style fixes List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Fri, 22 Nov 2024 10:54:15 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#7c995fc871905ef98dbb200d2544a68ab725116c Extension Manager: small language adjustments List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Fri, 22 Nov 2024 10:47:50 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#8fe483c9dd38f0052abe729cc74057c9cdf54ad3 Extension Manager: updated tests List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Fri, 22 Nov 2024 09:57:32 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#5732c9600fe2569d399a353eae8301094ff97d91 Extension Manager: adjust javascript and imagesThis simpliefies the view options into a single filter, which togglesbetween all and updatable extensions. This should be less confusing andis what most people use anyway.Image use has been reduced and SVGs are used for icons now. Placeholdersare still PNG. List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Thu, 21 Nov 2024 12:24:18 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#652715cc973f9ba1db53b1a65ed22e2ec1e5521e Extension Manager: added the last missing GUI tabs List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Thu, 21 Nov 2024 09:37:31 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#80bc92fb6cebd3143ca97b0ad5aa529a28f2cc39 Extension Manager: add installer to GUINow the GUI uses the new Installer class. More work has been done onthe GUI itself List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Wed, 20 Nov 2024 14:51:03 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#00929f2e5c0cf6e02bdfdfcc4cc74777d60152ba Extension Manager: some more work on styling List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Wed, 20 Nov 2024 13:36:11 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#981e70cabab67fd2c1ea32d1f7d1ee51fe3e16a6 Extension Manager: overhauled list display styleThe GUI is still not fully functional again. List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Thu, 08 Aug 2024 18:52:16 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#20db0ca9581169263a362cff92dccc6dc1e32836 Extension Manager: some first attempts at stylingI'm not really happy yet, but it will be improved in coming commits List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Thu, 08 Aug 2024 11:14:15 +0000 Andreas Gohr <andi@splitbrain.org> http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/GuiExtension.php#4fd6a1d7ae34e34afb3c0bae47639222f884a1b5 Extension Manager: First go at reimplementing the GUIstill a long road ahead List of files: /dokuwiki/lib/plugins/extension/GuiExtension.php Thu, 25 Apr 2024 06:55:13 +0000 Andreas Gohr <andi@splitbrain.org>