merged typo fix from MOODLE_16_STABLE

diff --git a/lang/en_utf8/hotpot.php b/lang/en_utf8/hotpot.php
index 0eaee7d077ace64fb2baee2d6b922db6e459c9eb..50e4ee67cb28d641f6d26603c949b4e7fff1666e 100644 (file)
--- a/lang/en_utf8/hotpot.php
+++ b/lang/en_utf8/hotpot.php
@@ -181,7 +181,7 @@ $string['noresponses'] = 'No information about individual questions and response
 $string['reporttimerecorded'] = 'Responses recorded';
 
 // config.html
-$string['configshowtimes'] = 'Should the time taken to process records be displayed in listings and reports? This is only really necessary of you are are trying to find out why your server is running slowly.';
+$string['configshowtimes'] = 'Should the time taken to process records be displayed in listings and reports? This is only really necessary if you are trying to find out why your server is running slowly.';
 $string['configexcelencodings'] = 'A list of encodings, separated by commas, that can be used to force report values into a specific encoding for spreadsheet programs. For example, Microsoft Excel requires the "SJIS" encoding for Japanese';
 
 // error messages (lib.php)