Add display options to extension manger

Allows tho show/hide extensions that are: enabled, disabled, updatable

2 files changed, 10 insertions, 0 deletions

diff --git a/lib/plugins/extension/helper/gui.php b/lib/plugins/extension/helper/gui.php
index 3a0f0c589..2dbb3d5e5 100644
--- a/lib/plugins/extension/helper/gui.php
+++ b/lib/plugins/extension/helper/gui.php
@@ -38,6 +38,15 @@ class helper_plugin_extension_gui extends DokuWiki_Plugin {
 
         echo '<div class="panelHeader">';
         echo $this->locale_xhtml('intro_plugins');
+
+        $options = new Doku_Form( "viewoptions" );
+        $options->addElement( form_makeOpenTag( "p" ) );
+        $options->addElement( $this->getLang('display_viewoptions') );
+        $options->addElement( form_makeCheckboxField( "enabled", 1, $this->getLang('display_enabled') ) );
+        $options->addElement( form_makeCheckboxField( "disabled", 1, $this->getLang('display_disabled') ) );
+        $options->addElement( form_makeCheckboxField( "updatable", 1, $this->getLang('display_updatable') ) );
+        $options->addElement( form_makeCloseTag( "p" ) );
+        $options->printForm();
         echo '</div>';
 
         $pluginlist = $plugin_controller->getList('', true);
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';