diff options
| author | Gerry Weißbach <gerry.w@gammaproduction.de> | 2015-04-14 10:12:02 +0200 |
|---|---|---|
| committer | Gerry Weißbach <gerry.w@gammaproduction.de> | 2015-04-14 10:12:02 +0200 |
| commit | a7ec353091498e86d606c27f5ca7a808c2d096c0 (patch) | |
| tree | 30ccfd0c312a06dc2d6bf45bfe70f9c26615e172 /lib/plugins/extension/helper/list.php | |
| parent | 803a90da0d25c98cd07fc138c940fdd5df1dec7e (diff) | |
| download | rpg-a7ec353091498e86d606c27f5ca7a808c2d096c0.tar.gz rpg-a7ec353091498e86d606c27f5ca7a808c2d096c0.tar.bz2 | |
Add display options to extension manger
Allows tho show/hide extensions that are: enabled, disabled, updatable
Diffstat (limited to 'lib/plugins/extension/helper/list.php')
| -rw-r--r-- | lib/plugins/extension/helper/list.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/plugins/extension/helper/list.php b/lib/plugins/extension/helper/list.php index 8bcd00ec6..11aea1d0e 100644 --- a/lib/plugins/extension/helper/list.php +++ b/lib/plugins/extension/helper/list.php @@ -151,6 +151,7 @@ class helper_plugin_extension_list extends DokuWiki_Plugin { if($extension->isInstalled()) { $class.=' installed'; $class.= ($extension->isEnabled()) ? ' enabled':' disabled'; + if($extension->updateAvailable()) $class .= ' updatable'; } if(!$extension->canModify()) $class.= ' notselect'; if($extension->isProtected()) $class.= ' protected'; |