settings.php: Quelltextkommentare wiederhergestellt