From 0d0999141bc9bd63259de15ee93ea1db7de938c5 Mon Sep 17 00:00:00 2001
From: jerome <jerome>
Date: Thu, 4 Sep 2008 07:36:53 +0000
Subject: [PATCH] MDL-15402: fix some admin menu titles for repository

---
 admin/repositoryinstance.php | 5 ++++-
 admin/settings/plugins.php   | 8 +++++++-
 lang/en_utf8/repository.php  | 2 +-
 3 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/admin/repositoryinstance.php b/admin/repositoryinstance.php
index e2f19d485bd..e244521a87e 100644
--- a/admin/repositoryinstance.php
+++ b/admin/repositoryinstance.php
@@ -17,10 +17,13 @@ $display = true; // fall through to normal display
 
 $pagename = 'repositorycontroller';
 
+if ($edit){
+    $pagename = 'repositoryinstanceedit';
+}else
 if ($delete) {
     $pagename = 'repositorydelete';
 } else if ($new) {
-    $pagename = 'repositorynew';
+    $pagename = 'repositoryinstancenew';
 }
 
 admin_externalpage_setup($pagename);
diff --git a/admin/settings/plugins.php b/admin/settings/plugins.php
index 622edc725f8..e24c59ceb1d 100644
--- a/admin/settings/plugins.php
+++ b/admin/settings/plugins.php
@@ -189,7 +189,7 @@ if ($hassiteconfig) {
     $temp->add(new admin_setting_configtext('repository_cache_expire', get_string('cacheexpire', 'repository'), get_string('configcacheexpire', 'repository'), 120));
     $ADMIN->add('repositorysettings', $temp);
     $ADMIN->add('repositorysettings', new admin_externalpage('repositorynew',
-        get_string('createrepository', 'repository'), $url, 'moodle/site:config', true),
+        get_string('addplugin', 'repository'), $url, 'moodle/site:config', true),
         '', $url);
     $ADMIN->add('repositorysettings', new admin_externalpage('repositorydelete',
         get_string('deleterepository', 'repository'), $url, 'moodle/site:config', true),
@@ -197,6 +197,12 @@ if ($hassiteconfig) {
     $ADMIN->add('repositorysettings', new admin_externalpage('repositorycontroller',
         get_string('managerepositories', 'repository'), $url, 'moodle/site:config', true),
         '', $url);
+    $ADMIN->add('repositorysettings', new admin_externalpage('repositoryinstancenew',
+        get_string('createrepository', 'repository'), $url, 'moodle/site:config', true),
+        '', $url);
+    $ADMIN->add('repositorysettings', new admin_externalpage('repositoryinstanceedit',
+        get_string('editrepositoryinstance', 'repository'), $url, 'moodle/site:config', true),
+        '', $url);
     foreach (repository_get_types()
         as $repositorytype)
     {
diff --git a/lang/en_utf8/repository.php b/lang/en_utf8/repository.php
index 17e11d5d37e..1c418977f1d 100644
--- a/lang/en_utf8/repository.php
+++ b/lang/en_utf8/repository.php
@@ -20,7 +20,7 @@ $string['deleterepository'] = 'Delete this repository';
 $string['deleted'] = 'Repository deleted';
 $string['download'] = 'Download';
 $string['downloadsucc'] = 'The file has been downloaded successfully';
-$string['editrepositoryaccount'] = 'Edit repository accounts';
+$string['editrepositoryinstance'] = 'Edit repository instance';
 $string['emptytype'] = 'Cannot create repository type: type name is empty';
 $string['error'] = 'An unknown error occurred!';
 $string['existingrepository'] = 'This repository already exists';