en Copyright 2025 Java http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/Exception.php#7c184cfca36dde23d8ddd540c4826dfe1f86e2e3 Extension Manager: (automatic) code style fixes List of files: /dokuwiki/lib/plugins/extension/Exception.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/Exception.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/Exception.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/Exception.php#cf2dcf1b9ac1f331d4667a6c82d326f1a3e5d4c7 First start at refactoring the extension managerThe aim is to readd the existing functionality into proper classes, thenextend from there. List of files: /dokuwiki/lib/plugins/extension/Exception.php Tue, 20 Feb 2024 17:45:24 +0000 Andreas Gohr <andi@splitbrain.org>