mirror of
https://github.com/moodle/moodle.git
synced 2025-03-16 21:50:20 +01:00
40 lines
2.0 KiB
PHP
40 lines
2.0 KiB
PHP
<?php
|
|
|
|
// This file is part of Moodle - http://moodle.org/
|
|
//
|
|
// Moodle is free software: you can redistribute it and/or modify
|
|
// it under the terms of the GNU General Public License as published by
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
// (at your option) any later version.
|
|
//
|
|
// Moodle is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
//
|
|
// You should have received a copy of the GNU General Public License
|
|
// along with Moodle. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
/**
|
|
* @package mnetservice
|
|
* @subpackage enrolment
|
|
* @copyright 2010 David Mudrak <david@moodle.com>
|
|
* @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
|
|
*/
|
|
|
|
defined('MOODLE_INTERNAL') || die();
|
|
|
|
$string['availablecourseson'] = 'Available courses on {$a}';
|
|
$string['availablecoursesonnone'] = 'Remote host <a href="{$a->hosturl}">{$a->hostname}</a> does not offer any courses for our users.';
|
|
$string['clientname'] = 'Remote enrolments client';
|
|
$string['clientname_help'] = 'This tool allows you to enrol and unenrol your local users on remote hosts that allow you to do so via the \'MNet remote enrolments\' plugin.';
|
|
$string['editenrolments'] = 'Edit enrolments';
|
|
$string['hostappname'] = 'Application';
|
|
$string['hostname'] = 'Host name';
|
|
$string['hosturl'] = 'Remote host URL';
|
|
$string['nopublishers'] = 'No remote peers available.';
|
|
$string['noroamingusers'] = 'Users require the capability \'{$a}\' in the system context to be enrolled to remote courses, however there are currently no users with this capability. Click the continue button to assign the required capability to one or more roles on your site.';
|
|
$string['otherenrolledusers'] = 'Other enrolled users';
|
|
$string['pluginname'] = 'Remote enrolment service';
|
|
$string['refetch'] = 'Re-fetch up to date state from remote hosts';
|