diff --git a/lib/adminlib.php b/lib/adminlib.php
index 5a8bbb1dcd0..f0d08e8e111 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -4201,16 +4201,6 @@ class admin_setting_manageportfolio extends admin_setting {
return true;
}
- function get_full_name() {
- return 's_manageportfolio';
- }
-
- function write_setting($data) {
- $url = $this->baseurl . '&new=' . $data;
- redirect($url);
- exit;
- }
-
function is_related($query) {
if (parent::is_related($query)) {
return true;
@@ -4272,8 +4262,7 @@ class admin_setting_manageportfolio extends admin_setting {
$output .= print_table($table, true);
- //$instancehtml = '