| /dokuwiki/lib/plugins/extension/images/ |
| H A D | coffee.svg | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | bug.svg | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | license.txt | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| /dokuwiki/lib/plugins/extension/ |
| H A D | Exception.php | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | GuiExtension.php | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | Extension.php | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | action.php | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | script.js | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| H A D | style.less | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
| /dokuwiki/lib/plugins/extension/lang/en/ |
| H A D | lang.php | 5732c9600fe2569d399a353eae8301094ff97d91 Thu Nov 21 12:24:18 UTC 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 most people use anyway.
Image use has been reduced and SVGs are used for icons now. Placeholders
are still PNG.
|
