diff --git a/admin/repositoryinstance.php b/admin/repositoryinstance.php
index 9d50214d25f..d08932f958e 100644
--- a/admin/repositoryinstance.php
+++ b/admin/repositoryinstance.php
@@ -35,7 +35,6 @@ if ($new) {
 else {
     $baseurl .= $type;
 }
-$configstr  = get_string('managerepositories', 'repository');
 
 $return = true;