removed pause during redirect when there are no new settings

diff --git a/admin/upgradesettings.php b/admin/upgradesettings.php
index 6aada5879e0df831733b446fc19c3641f3b2576d..aec03bb52e25c9cb378aedaa16dc4641ec846ae4 100644 (file)
--- a/admin/upgradesettings.php
+++ b/admin/upgradesettings.php
@@ -18,7 +18,7 @@ $newsettingshtml = output_new_settings_by_page(admin_get_root());
 
 // first we deal with the case where there are no new settings to be set
 if ($newsettingshtml == '') {
-    redirect($CFG->wwwroot . '/' . $CFG->admin . '/index.php', get_string('nonewsettings','admin'),1); 
+    redirect($CFG->wwwroot . '/' . $CFG->admin . '/index.php');        
     die;
 }