diff --git a/repository/local/lib.php b/repository/local/lib.php index 0dc7fac7076..6a3ec3c62ea 100644 --- a/repository/local/lib.php +++ b/repository/local/lib.php @@ -346,6 +346,8 @@ class repository_local extends repository { $return = array( 'list' => array_values($results), 'dynload' => true, + 'nosearch' => false, + 'nologin' => true, 'pages' => $pages, 'page' => $page );