Changes in Gui.php en Copyright 2025 Java 4fd6a1d7ae34e34afb3c0bae47639222f884a1b5 - Extension Manager: First go at reimplementing the GUI http://127.0.0.1:8080/history/dokuwiki/lib/plugins/extension/Gui.php#4fd6a1d7ae34e34afb3c0bae47639222f884a1b5 Extension Manager: First go at reimplementing the GUIstill a long road ahead List of files: /dokuwiki/lib/plugins/extension/Gui.php Thu, 25 Apr 2024 06:55:13 +0000 Andreas Gohr <andi@splitbrain.org>