diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2015-05-16 08:02:23 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2015-05-16 08:02:23 +0200 |
| commit | 38175ed45a1a1684e8da55d0f5cd825ee4804c3d (patch) | |
| tree | cb0ea509b91873181aa1c29e78556ef4712e4847 /lib/plugins/extension/helper/list.php | |
| parent | 1bf270429ba972b600ae94b232d90fcbaf0e9a2d (diff) | |
| parent | 526e5abda6d7ab051bb2819eaffbe81af04e6c68 (diff) | |
| download | rpg-38175ed45a1a1684e8da55d0f5cd825ee4804c3d.tar.gz rpg-38175ed45a1a1684e8da55d0f5cd825ee4804c3d.tar.bz2 | |
Merge pull request #1113 from gamma/extension_manager
Add display options to extension manger
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'; |