mirror of
https://github.com/moodle/moodle.git
synced 2025-08-05 08:56:36 +02:00
Fixed a hardcoded string (thanks, koen) bug #1022
This commit is contained in:
parent
5c9cbb399e
commit
fed7c5ba94
2 changed files with 2 additions and 1 deletions
|
@ -20,6 +20,7 @@ $string['description'] = 'Description';
|
||||||
$string['duedate'] = 'Due date';
|
$string['duedate'] = 'Due date';
|
||||||
$string['duedateno'] = 'No due date';
|
$string['duedateno'] = 'No due date';
|
||||||
$string['early'] = '$a early';
|
$string['early'] = '$a early';
|
||||||
|
$string['existingfiledeleted'] = 'Existing file has been deleted: $a';
|
||||||
$string['failedupdatefeedback'] = 'Failed to update submission feedback for user $a';
|
$string['failedupdatefeedback'] = 'Failed to update submission feedback for user $a';
|
||||||
$string['feedback'] = 'Feedback';
|
$string['feedback'] = 'Feedback';
|
||||||
$string['feedbackupdated'] = 'Submissions feedback updated for $a people';
|
$string['feedbackupdated'] = 'Submissions feedback updated for $a people';
|
||||||
|
|
|
@ -530,7 +530,7 @@ function assignment_delete_user_files($assignment, $user, $exception) {
|
||||||
foreach ($files as $file) {
|
foreach ($files as $file) {
|
||||||
if ($file != $exception) {
|
if ($file != $exception) {
|
||||||
unlink("$basedir/$file");
|
unlink("$basedir/$file");
|
||||||
notify("Existing file '$file' has been deleted!");
|
notify(get_string("existingfiledeleted", "assignment", $file));
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue