Home
last modified time | relevance | path

Searched hist:"20 db0ca9581169263a362cff92dccc6dc1e32836" (Results 1 – 3 of 3) sorted by relevance

/dokuwiki/lib/plugins/extension/
H A DGuiExtension.php20db0ca9581169263a362cff92dccc6dc1e32836 Thu Aug 08 11:14:15 UTC 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

H A Dstyle.less20db0ca9581169263a362cff92dccc6dc1e32836 Thu Aug 08 11:14:15 UTC 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

H A Dadmin.php20db0ca9581169263a362cff92dccc6dc1e32836 Thu Aug 08 11:14:15 UTC 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