#534556 by karschp, coltrane, Bojhan, David_Rothstein: Fix double appearance of the settings.php message in the installer