diff --git a/lang/en_utf8/repository.php b/lang/en_utf8/repository.php index 0d5a9982174..75ea29585fe 100644 --- a/lang/en_utf8/repository.php +++ b/lang/en_utf8/repository.php @@ -41,6 +41,7 @@ $string['existingrepository'] = 'This repository already exists'; $string['filename'] = 'Filename'; $string['filenotnull'] = 'You must select a file to upload.'; $string['filesaved'] = 'The file has been saved'; +$string['federatedsearch'] = 'Federated search'; $string['getfile'] = 'Select this file'; $string['hiddenshow'] = 'Hide/Show'; $string['keyword'] = 'Keyword'; diff --git a/repository/javascript.php b/repository/javascript.php index 44a598bc124..5fd46196bfb 100644 --- a/repository/javascript.php +++ b/repository/javascript.php @@ -64,6 +64,7 @@ function repository_get_client($context, $accepted_filetypes = '*', $returnvalue $strdate = get_string('date', 'repository').': '; $strerror = get_string('error', 'repository'); $strfilenotnull = get_string('filenotnull', 'repository'); + $strfederatedsearch = get_string('federatedsearch', 'repository'); $strrefresh = get_string('refresh', 'repository'); $strinvalidjson = get_string('invalidjson', 'repository'); $strlistview = get_string('listview', 'repository'); @@ -265,7 +266,7 @@ this.create_picker = function() { repo_list = new YAHOO.util.Element('repo-list-$suffix'); repo_list.on('contentReady', function(e) { var searchbar = new YAHOO.util.Element('search-div-$suffix'); - searchbar.get('element').innerHTML = ''; + searchbar.get('element').innerHTML = ''; var btn_search = new YAHOO.util.Element('search-btn-$suffix'); var input_keyword = new YAHOO.util.Element('search-input-$suffix'); btn_search.fnSearch = function(e) {