From 08d5e18bf81b3a6c9f864f1abd067a137f1cdb27 Mon Sep 17 00:00:00 2001
From: mjollnir_ <mjollnir_>
Date: Wed, 13 Aug 2008 09:21:53 +0000
Subject: [PATCH] MDL-15865 - fixed admin settings stuff for hidden plugins

---
 admin/settings/plugins.php | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/admin/settings/plugins.php b/admin/settings/plugins.php
index 75cb575ed8..8c37b7a6db 100644
--- a/admin/settings/plugins.php
+++ b/admin/settings/plugins.php
@@ -164,12 +164,18 @@ if ($hassiteconfig) {
     $ADMIN->add('portfoliosettings', new admin_externalpage('portfoliodelete', get_string('deleteportfolio', 'portfolio'), $url, 'moodle/site:config', true), '', $url);
     $ADMIN->add('portfoliosettings', new admin_externalpage('portfoliocontroller', get_string('manageportfolios', 'portfolio'), $url, 'moodle/site:config', true), '', $url);
 
-    foreach (portfolio_instances() as $portfolio) {
+    foreach (portfolio_instances(false, false) as $portfolio) {
         require_once($CFG->dirroot . '/portfolio/type/' . $portfolio->get('plugin') . '/lib.php');
         $classname = 'portfolio_plugin_' . $portfolio->get('plugin');
         $ADMIN->add(
             'portfoliosettings',
-            new admin_externalpage('portfoliosettings' . $portfolio->get('id'), get_string('configure', 'portfolio') . ' ' . $portfolio->get('name'), $url . '?edit=' . $portfolio->get('id')),
+            new admin_externalpage(
+                'portfoliosettings' . $portfolio->get('id'),
+                get_string('configure', 'portfolio') . ' ' . $portfolio->get('name'),
+                $url . '?edit=' . $portfolio->get('id'),
+                'moodle/site:config',
+                !$portfolio->get('visible')
+            ),
             $portfolio->get('name'),
             $url . ' ?edit=' . $portfolio->get('id')
         );
-- 
2.39.5