diff --git a/lib/adminlib.php b/lib/adminlib.php index ab0fc3e96b9..35c90b35282 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -6257,10 +6257,11 @@ class admin_setting_manageexternalservices extends admin_setting { $table->data[] = array($displayname, $delete, $functions, $users, $edit); } // add new custom service option - $table->data[] = array('', '', '', '', "$stradd"); $return .= $OUTPUT->table($table); - $return .= '
'.get_string('tablesnosave', 'admin'); + $return .= '
'; + // add a token to the table + $return .= "$stradd"; return highlight($query, $return); } @@ -6476,8 +6477,7 @@ class admin_setting_managewebservicetokens extends admin_setting { $strcontext = get_string('context', 'webservice'); $strvaliduntil = get_string('validuntil', 'webservice'); - $return = $OUTPUT->heading(get_string('webservicetokens', 'webservice'), 3, 'main', true); - $return .= $OUTPUT->box_start('generalbox webservicestokenui'); + $return = $OUTPUT->box_start('generalbox webservicestokenui'); $table = new html_table(); $table->head = array($strtoken, $struser, $strservice, $strcontext, $strvaliduntil, $stroperation);