Fixed a hardcoded string (thanks, koen) bug #1022

diff --git a/lang/en/assignment.php b/lang/en/assignment.php
index 58f94598c70dff971f6df389c5a3ac999e1f1399..638a2eed8d439dec70dfe71f32376ed0d1c2b9ba 100644 (file)
--- a/lang/en/assignment.php
+++ b/lang/en/assignment.php
@@ -20,6 +20,7 @@ $string['description'] = 'Description';
 $string['duedate'] = 'Due date';
 $string['duedateno'] = 'No due date';
 $string['early'] = '$a early';
+$string['existingfiledeleted'] = 'Existing file has been deleted: $a';
 $string['failedupdatefeedback'] = 'Failed to update submission feedback for user $a';
 $string['feedback'] = 'Feedback';
 $string['feedbackupdated'] = 'Submissions feedback updated for $a people';

diff --git a/mod/assignment/lib.php b/mod/assignment/lib.php
index ceff2480cb6a0ab1a9441574be6177ea5c334057..689939c8f5d56235534fc1bc71ce35223cba5bbc 100644 (file)
--- a/mod/assignment/lib.php
+++ b/mod/assignment/lib.php
@@ -530,7 +530,7 @@ function assignment_delete_user_files($assignment, $user, $exception) {
             foreach ($files as $file) {
                 if ($file != $exception) {
                     unlink("$basedir/$file");
-                    notify("Existing file '$file' has been deleted!");
+                    notify(get_string("existingfiledeleted", "assignment", $file));
                 }
             }
         }