diff --git a/lang/en_utf8/repository.php b/lang/en_utf8/repository.php index 98a2cbe3645..d9186e9da21 100644 --- a/lang/en_utf8/repository.php +++ b/lang/en_utf8/repository.php @@ -28,6 +28,7 @@ $string['confirmremove'] = 'Are you sure you want to remove this repository plug $string['create'] = 'Create'; $string['createrepository'] = 'Create a repository instance'; $string['createinstance'] = 'Create a repository instance'; +$string['createxxinstance'] = 'Create \"$a\" instance'; $string['date'] = 'Date'; $string['deleterepository'] = 'Delete this repository'; $string['deleted'] = 'Repository deleted'; diff --git a/repository/lib.php b/repository/lib.php index ecdcd1f0a24..d683123d173 100644 --- a/repository/lib.php +++ b/repository/lib.php @@ -1050,9 +1050,8 @@ abstract class repository { if (!empty($type) && $type->get_visible()) { $instanceoptionnames = repository::static_function($type->get_typename(), 'get_instance_option_names'); if (!empty($instanceoptionnames)) { - $instancehtml .= '