added $string['allusers'] = 'All users'; for "hotpot/report.php"

diff --git a/lang/en_utf8/hotpot.php b/lang/en_utf8/hotpot.php
index f23a8f0ddce6540ffe2ca5838713290f2d3d7982..92778285bd9f8114b80efe98055345b165b2e97e 100644 (file)
--- a/lang/en_utf8/hotpot.php
+++ b/lang/en_utf8/hotpot.php
@@ -114,6 +114,8 @@ $string['reportbutton'] = 'Generate report';
 $string['thiscourse'] = 'This course';
 $string['allmycourses'] = 'All my courses';
 
+$string['allusers'] = 'All users';
+
 $string['attemptsall'] = 'All attempts';
 $string['attemptsbest'] = 'Best attempt';
 $string['attemptsfirst'] = 'First attempt';